Intentionally breaking compilation for compilations we don't want
Fixing some DRUP problems, moving things toward requirements by competition
Moving along with SAT Competition version
Moving along to SAT Competition release
Making regression tester work on forl
Don't write the full output
A *very* handy tool for debugging DRUP
Fixing a bug with DRUP
Fixing misc things
This was a problem: addXorClauseInt didn't do DRUP
More DRUP_DEBUG code
Some forl-specific changes
Fixing directory checking in regression tester