paulson [Thu, 31 Aug 2006 10:18:26 +0200] rev 20444
blacklist now handles thm lists
paulson [Thu, 31 Aug 2006 10:17:19 +0200] rev 20443
Empty is better than Match
webertj [Thu, 31 Aug 2006 02:59:08 +0200] rev 20442
term_of_prop_formula added
webertj [Thu, 31 Aug 2006 02:22:05 +0200] rev 20441
read_dimacs_cnf_file ignores more comment lines
webertj [Wed, 30 Aug 2006 16:27:53 +0200] rev 20440
faster clause representation (again): full CNF formula as a hypothesis, instead of separate clauses
haftmann [Wed, 30 Aug 2006 15:11:17 +0200] rev 20439
code refinements
wenzelm [Wed, 30 Aug 2006 12:28:39 +0200] rev 20438
updated;
wenzelm [Wed, 30 Aug 2006 12:28:32 +0200] rev 20437
tuned;
haftmann [Wed, 30 Aug 2006 08:34:45 +0200] rev 20436
added yet another code generator example
haftmann [Wed, 30 Aug 2006 08:30:09 +0200] rev 20435
fixes
haftmann [Wed, 30 Aug 2006 08:29:30 +0200] rev 20434
fixed bug in wfrec appgen
webertj [Wed, 30 Aug 2006 03:30:09 +0200] rev 20433
lin_arith_prover: splitting reverted because of performance loss