Commit [d5aaca]  Maximize  Restore  History

progress in structuring bitvec sets, dumb implementation started

Utz-Uwe Haus Utz-Uwe Haus 2007-09-16

added clause-sets.lisp
added clause.lisp
removed jg-bitops.lisp
changed jg.lisp
changed jointgen.asd
changed package.lisp
copied (with changes) package.lisp -> oracles.lisp
clause-sets.lisp Diff Switch to side-by-side view
Loading...
clause.lisp Diff Switch to side-by-side view
Loading...
jg-bitops.lisp
File was removed.
jg.lisp Diff Switch to side-by-side view
Loading...
jointgen.asd Diff Switch to side-by-side view
Loading...
package.lisp Diff Switch to side-by-side view
Loading...
package.lisp to oracles.lisp Diff Switch to side-by-side view
Loading...