A Clue (Cluedo) assistant using the picosat SAT solver
Implemented as a Flask API with a MongoDB data store.
This project is a Python implementation of the Clue project from
undergraduate artificial intelligence coursework at Gettysburg College.
See http://cs.gettysburg.edu/~tneller/nsf/clue/
Player knowledge about Clue is encoded as boolean variables. This knowledgebase
is fed into an SAT solver (picosat) after each turn in order to produce a
"detective notebook" to aid the human player in his or her deductions.
- Create a Python 3 virtualenv for the project.
- Run
pip install requirements.txt
- Set environment variable
DATABASE
to a MongoDB instance of your choice. - Set environment variable
FLASK_APP
toclew/app.py
. flask run
to run the server- An API client is available at https://github.com/bchopson/clew-app
Note: setting environment variables can be automated with autoenv.
Run pytest
See /tests
directory
This project is licensed under the MIT License - see the LICENSE.md file for details