rsat 0.1.4

SolHOP SAT and MaxSAT Solver
Documentation