Introduction
SolHOP aims to be a SAT and MaxSAT solver. Currently, a CDCL based SAT (boolean satisfiability) solver (rsat) is being implemented.
Install
TODO
SolHOP aims to be a SAT and MaxSAT solver. Currently, a CDCL based SAT (boolean satisfiability) solver (rsat) is being implemented.
TODO