Attempting to make a grid-style logic problem solver using MIT's Alloy and python.

Two ways to use!

from solve import solve
from LogicLanguage import *

# populate this
puzzleObject = Puzzle()

answer = solve(puzzleObject)

OR

python ui.py from the command line

This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-sa/3.0/.