2 releases
Uses new Rust 2024
| 0.1.1 | Feb 24, 2026 |
|---|---|
| 0.1.0 | Feb 11, 2026 |
#1200 in Algorithms
1,136 downloads per month
Used in yaspar-ir
15KB
343 lines
This crate provides an abstraction layer to describe all SAT solvers. It provides a common interface for different implementations of SAT solvers.
c.f. [SatSolver], [SolverState]
sat-interface
This crate provides an abstraction interface for SAT solvers.
Security
See CONTRIBUTING for more information.
License
This project is licensed under the Apache-2.0 License.
Dependencies
~0–0.9MB
~19K SLoC