sat-solver 0.2.1

A SAT solver implemented in Rust, focusing on performance, efficiency and experimentation.
Documentation 
1
2
3
4

#![warn(clippy::all, clippy::pedantic, clippy::nursery, clippy::cargo)]

/// The `cli` module provides a command-line interface for the SAT solver.
pub mod cli;