Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Commit [r1915] Maximize Restore History

Lingeling timer patch and trying to use it in mpisat.

lukaszkaiser 2013-09-17

changed /trunk/Toss/Formula/Sat/LgWrap.c
changed /trunk/Toss/Formula/Sat/lingeling/lglib.c
changed /trunk/Toss/Formula/Sat/lingeling/lglib.h
changed /trunk/Toss/mpisat.ml
/trunk/Toss/Formula/Sat/LgWrap.c Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/lingeling/lglib.c Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/lingeling/lglib.h Diff Switch to side-by-side view
Loading...
/trunk/Toss/mpisat.ml Diff Switch to side-by-side view
Loading...