Shared belief in shrinking groups - Project Site for Final Project in Logical Aspects of Multi-Agent Systems.
While the master branch contains a copy of the contents of the Solver website, the gh-pages branch contains the project's corresponding documentation.