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;