updated build.sh to only build prover9
still trying to get this right
still trying to get this right
attempting from a c perspective
damn, forgot to make path relative
adding makefile patch for prover9, this should work
... forgot to run before_script.sh
yes! prover9 builds, turning tests on
tests should start succeeding now, instead of failing to build
reintegrating assafs feature tests
all tests succeeding
disabled flattener tests
less verbose predcalc
Support for aliases in the lexicon
Cleaning...