Commit [r1911]  Maximize  Restore  History

Better mpiqbf and lingeling bindings

lukaszkaiser 2013-08-28

added /trunk/Toss/Formula/Sat/LgWrap.c
added /trunk/Toss/Formula/Sat/Lingeling.ml
added /trunk/Toss/Formula/Sat/lingeling
added /trunk/Toss/Formula/Sat/lingeling/LICENSE
added /trunk/Toss/Formula/Sat/lingeling/VERSION
added /trunk/Toss/Formula/Sat/lingeling/lglbnr.c
added /trunk/Toss/Formula/Sat/lingeling/lglcfg.h
added /trunk/Toss/Formula/Sat/lingeling/lglcflags.h
added /trunk/Toss/Formula/Sat/lingeling/lglib.c
added /trunk/Toss/Formula/Sat/lingeling/lglib.h
added /trunk/Toss/Formula/Sat/lingeling/lglmain.c
added /trunk/Toss/Formula/Sat/lingeling/makefile
/trunk/Toss/Formula/Sat/LgWrap.c Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/Lingeling.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/lingeling/LICENSE Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/lingeling/VERSION Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/lingeling/lglbnr.c Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/lingeling/lglcfg.h Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/lingeling/lglcflags.h 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/Formula/Sat/lingeling/lglmain.c Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/Sat/lingeling/makefile Diff Switch to side-by-side view
Loading...

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks