Click here to download an executable JAR file for the game

This game was developed as part of ACL2s. You can access it within ACL2s while you have a source code or session editor open. Under the ACL2s menu, choose Launch boolean logic game.