To run the code and get the right results: Set up your computer using the following command: sudo apt-get install python-setuptools python-dev build-essential sudo easy_install pip sudo pip install pycosat And have a working installation of zChaff on your computer and the zChaff bash file in the folder: /usr/local/bin/
(Optioinal) after installation, please use the following command to test: https://pypi.python.org/pypi/pycosat You may choose to also install ipython by: sudo pip install ipython
To run the code, you need to install the following packages:
pip numpy pyparsing pycosat satispy (optional)
Now you are able to play with Color and GT sudokus and use zChaff to evaluate To run:
python get_results.py