Incremental frontend for glucose solver

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

diff --git a/glucose-syrup/incremental/glucose b/glucose-syrup/incremental/glucose
new file mode 100755 (executable)
index 0000000..d8e04ab
Binary files /dev/null and b/glucose-syrup/incremental/glucose differ