sat-solver 0.1.1

CDCL SAT solver using 2WL and restarts. THIS CRATE IS NO LONGER MANTAINED. Drop me an email if you want me to transfer the name.