sat-solver-bindings topic

List sat-solver-bindings repositories

batsat

31
Stars
4
Forks
Watchers

A (parametrized) Rust SAT solver originally based on MiniSat

verified publisher icon c-cube