Commit [1c6e3b] Maximize Restore History

Some cleanups, default to (speed 3), in preparation for project move into

separate SF project and profiling sessions

Utz-Uwe Haus Utz-Uwe Haus 2007-09-24

added instances/acet.lisp
added instances/perms66.lisp
added instances/perms77.lisp
changed clause-sets.lisp
changed clause.lisp
changed duality-check.lisp
changed examples.lisp
changed jg.lisp
instances/acet.lisp Diff Switch to side-by-side view
Loading...
instances/perms66.lisp Diff Switch to side-by-side view
Loading...
instances/perms77.lisp Diff Switch to side-by-side view
Loading...
clause-sets.lisp Diff Switch to side-by-side view
Loading...
clause.lisp Diff Switch to side-by-side view
Loading...
duality-check.lisp Diff Switch to side-by-side view
Loading...
examples.lisp Diff Switch to side-by-side view
Loading...
jg.lisp Diff Switch to side-by-side view
Loading...