proof-generating topic

List proof-generating repositories

batsat

31
Stars
4
Forks
Watchers

A (parametrized) Rust SAT solver originally based on MiniSat

verified publisher icon c-cube