Sketch forking conjecture strategy
Factor range and load_language out of conjecture.cpp
Factor router out of conjecture.cpp
Got first version of deep conjecturing working
Add pomagma.batch.conjecture python command
Tweak log messages
Log inconsistency
Use less memory in conjecturing
Update readme milestones
Make readme more fun
Fix typo in comment
Merge branch 'master' of github.com:fritzo/pomagma
Add command to build via coverity scanner
Rename SPAMMEE to EMAIL
Rename util to platform
Distribute actions.py out to actors/__init__.py
Extract cartographer structure out as macrostructure
Move conjecture c++ code to theorist
Refactor cmake files
Factor surveyor structure out to microstructure