Commit [ef8d80] Maximize Restore History

add clause->int/lsb and clause->int/msb functions

Utz-Uwe Haus Utz-Uwe Haus 2013-06-27

changed clause.lisp
clause.lisp Diff Switch to side-by-side view
Loading...