Incremental frontend for glucose solver

[satlib.git] / glucose-syrup / incremental / SimpSolver.o

diff --git a/glucose-syrup/incremental/SimpSolver.o b/glucose-syrup/incremental/SimpSolver.o
new file mode 100644 (file)
index 0000000..3cab11f
Binary files /dev/null and b/glucose-syrup/incremental/SimpSolver.o differ