Chalice - Verification of Concurrent Software
=============================================

Compiling Chalice: sbt compile
Running Chalice: chalice.bat <file.chalice> [-params]
Running the tests for Chalice: see tests/readme.txt

Chalice is built using Simple Build Tool (https://github.com/harrah/xsbt/wiki/Setup)