SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver

Direct Link