SAT Preprocessor
 SAT Solver
 #SAT Solver
 PB / MaxSAT
 Solver Evaluation

Splitter - a Scalable Parallel SAT Solver Based on Iterative Partitioning

Author: Antti Hyvärinen and Norbert Manthey   |   Most recent publication   |   Download splitter source code  

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.

ICCL Home   |   Institute of Artificial Intelligence - KRR Group   |   Publications