aldb allows its users to easily understand why their Alloy models don't work.
Use bin/build to build an executable jar. This jar will be located at
build/aldb.jar.
Use bin/clean to remove all compiled files.
Use bin/aldb to run the program.
Use bin/test to run the main test runner. Note that it will not
necessarily run all tests -- it only runs the tests it has been supplied
with.
Use bin/debug to launch jdb on aldb.Main.
This project approximately follows the Sun code conventions. Its style
rules are enumerated in checkstyle.xml. Use bin/style to check the
code for style errors.
Hayes Converse, Andrew Sharp