[][src]Crate solhop

SAT and MaxSAT Solver