Splitter - a Scalable Parallel SAT Solver Based on Iterative Partitioning
A brief system description of the parallel partitioning solver splitter is available here
Usage of the parallel SAT solver
In this section a brief overview of the usage for the solver is given to enable a quick and easy start with the tool.
How to get the solver? Follow this link download and extract the tar ball.
How to compile the solver? Simply type make.
How can I use the solver to solve SAT? ./splitter INSTANCE
How can I change the number of threads? Type ./splitter --help to receive an overview of parameters of the tool.