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.
Documentation
Builds

sat-solver's sandbox limits

All the builds on docs.rs are executed inside a sandbox with limited resources. The limits for this crate are the following:

Available RAM 6 GB
Maximum rustdoc execution time 15 minutes
Maximum size of a build log 100 kB
Network access blocked
Maximum number of build targets 10

If a build fails because it hit one of those limits please open an issue to get them increased.