Software overview

Software overview


CGRASP is a circuit structure-aware version of the satisfiability tool GRASP created at the ALGOS group of INESC-ID. It is intended to be used in solving satisfiability problems derived from combinational logic circuits (ATPG, CEC, CDC, etc).


PMSat is a parallel SAT-solver that uses MiniSAT as engine. PMSat was implemented with MPI technology, the industry's de-facto standard and widely portable, to be executed in clusters or grids of computers.


pmcSAT is a portfolio-based multi-threaded, multi-core SAT solver, built on top of MiniSAT. The general strategy pursued in this solver is to launch multiple instances of the same solver, with different parameter configurations, which cooperate to a certain degree by sharing relevant information when searching for a solution.