GitHub - stefanbucur/CombiSAT: An experimental parallel Python-based SAT solver obtained by aggregating a portfolio of multiple sequential SAT solvers running different strategies

stefanbucur / CombiSAT Public

Notifications You must be signed in to change notification settings
Fork 0
Star 7

An experimental parallel Python-based SAT solver obtained by aggregating a portfolio of multiple sequential SAT solvers running different strategies

7 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
.gitignore		.gitignore
.project		.project
.pydevproject		.pydevproject
README		README
combisat		combisat
common.py		common.py
dimacs.py		dimacs.py
satserver		satserver
solvers.py		solvers.py

Repository files navigation

There are two usage modes for CombiSAT:

(1) Stand alone SAT solver:
./combisat -s <solver1> -s <solver2> ... -s <solvern> <formula file>
where <solverk> are paths to the executables of individual solvers (e.g. ./minisat, ./precosat, ./clasp) that support DIMACS input.

(2) SAT formula server:
./satserver -s <solver1> -s <solver2> .... [-b]

In this case, the -b parameter specifies that the portfolio should run in batch mode, where all the solvers are waited for to finish, in order to evaluate their performace.