|
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.
|
 |
|
|
