Add incremental solver class
[satlib.git] / glucose-syrup / parallel /
drwxr-xr-x   ..
-rw-r--r-- 9392 ClausesBuffer.cc
-rw-r--r-- 5069 ClausesBuffer.h
-rw-r--r-- 11308 Main.cc
-rw-r--r-- 109 Makefile
-rw-r--r-- 18219 MultiSolvers.cc
-rw-r--r-- 8609 MultiSolvers.h
-rw-r--r-- 19170 ParallelSolver.cc
-rw-r--r-- 6674 ParallelSolver.h
-rw-r--r-- 6579 SharedCompanion.cc
-rw-r--r-- 6123 SharedCompanion.h
-rw-r--r-- 3932 SolverCompanion.cc
-rw-r--r-- 3802 SolverCompanion.h
-rw-r--r-- 5400 SolverConfiguration.cc
-rw-r--r-- 3247 SolverConfiguration.h