Thu, 31 Aug 2006 10:18:26 +0200 blacklist now handles thm lists
paulson [Thu, 31 Aug 2006 10:18:26 +0200] rev 20444
blacklist now handles thm lists
Thu, 31 Aug 2006 10:17:19 +0200 Empty is better than Match
paulson [Thu, 31 Aug 2006 10:17:19 +0200] rev 20443
Empty is better than Match
Thu, 31 Aug 2006 02:59:08 +0200 term_of_prop_formula added
webertj [Thu, 31 Aug 2006 02:59:08 +0200] rev 20442
term_of_prop_formula added
Thu, 31 Aug 2006 02:22:05 +0200 read_dimacs_cnf_file ignores more comment lines
webertj [Thu, 31 Aug 2006 02:22:05 +0200] rev 20441
read_dimacs_cnf_file ignores more comment lines
Wed, 30 Aug 2006 16:27:53 +0200 faster clause representation (again): full CNF formula as a hypothesis, instead of separate clauses
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
Wed, 30 Aug 2006 15:11:17 +0200 code refinements
haftmann [Wed, 30 Aug 2006 15:11:17 +0200] rev 20439
code refinements
Wed, 30 Aug 2006 12:28:39 +0200 updated;
wenzelm [Wed, 30 Aug 2006 12:28:39 +0200] rev 20438
updated;
Wed, 30 Aug 2006 12:28:32 +0200 tuned;
wenzelm [Wed, 30 Aug 2006 12:28:32 +0200] rev 20437
tuned;
Wed, 30 Aug 2006 08:34:45 +0200 added yet another code generator example
haftmann [Wed, 30 Aug 2006 08:34:45 +0200] rev 20436
added yet another code generator example
Wed, 30 Aug 2006 08:30:09 +0200 fixes
haftmann [Wed, 30 Aug 2006 08:30:09 +0200] rev 20435
fixes
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip