Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
demo replacing concrete path Mar 29, 2018
env cleaned stuff up a little and removed some prints Jun 14, 2016
fast Updated jeevesdb to work with Django 1.10. Feb 1, 2017
jeevesdb Added deconstruct method for making migrations in Django 1.10 Feb 2, 2017
jlib bug fixez Jan 29, 2014
smt fixed bug: concretizing labels before calling restrict Jun 26, 2015
source JeevesLib API documentation Feb 26, 2014
sourcetrans working copy of conf mgmt system with django 1.10.8 Mar 27, 2018
test cleaned stuff up a little Jun 14, 2016
util translated much of the battleship code Nov 15, 2013
.gitignore updated gitignore to ignore pyc Nov 22, 2013
JeevesLib.py started figuring out what is wrong Jun 13, 2016
LICENSE Initial commit Jan 10, 2014
README.md replacing concrete path Mar 29, 2018
README.txt added solver skeletons Sep 18, 2013
TODO.txt updated tests that should not work until objects work Oct 2, 2013
__init__.py moved settings Apr 7, 2014
requirements.txt Add virtualenv setup instructions Oct 4, 2017
runtests.py yell at people for using nested @jeeves Jan 30, 2014