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

CL Tools Section

This web page will contains access to and information about the tools that are developped in the ICCL group in Dresden. These tools include:

the tool suite around the CDCL SAT solver Riss 4.27, including parallel solvers, (CNF,QBF and MaxSAT) formula simplification, a HW model checker.

the CDCL SAT solver riss3g in the configuration is has been used in the SAT competition 2013;

the CDCL SAT solver riss and its portfolio parallelization priss; description;

the SLS SAT solver ssa; description;

the parallel SAT solver splitter based on search space partitioning

the PB solver npSolver based on the translation to SAT

the SAT simplifier Coprocessor ; further information;

the SAT model counter with projection sharpCDCL ; further information;

the PB C++ library PBLib ; further information;

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

> projection sharpCDCL ; further information;

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

> html>