Restore condor rhavan preference.
Avoid computing NaNs, and assert their absence.
Continue to tweak suite configuration scheme.
CNF tests and .cnf write functionality.
Merge branch 'master' of github.com:bsilverthorn/borg
Remove unimplemented methods.
Fix simulated cactus runs, and more.
Fix simulation bug (in solver run replay).
Merge branch 'master' of github.com:bsilverthorn/borg
Better handle exceptions in solver subprocesses.
Much faster feature acquisition on large CNFs.
Normalize the success of simulated solvers.
Numerous changes to solver simulation.
Continued work on feature computation efficiency.
Fix array entropy estimation.
Announce feature steps before, not after.
Memory footprint improvements in the CNF parser.
Feed the parser via mmap.
Compensate for numpy behavior on single-row CSVs.
Cleanup.