batsat 0.5.0

Extensible SAT solver in Rust

Coverage
39%
94 out of 241 items documented2 out of 198 items with examples
Links
Homepage
c-cube/batsat
30 4 3
Crates.io
Dependencies
- bit-vec ^0.5.0 normal
- log ^0.4 normal
Versions
- 0.5.0
- 0.4.0
- 0.3.1
- 0.3.0
- 0.2.0
Owners

Batsat

A SAT solver in rust, originally reimplement from Minisat 2.2 (which is in C++), and evolved from there.