BatSat

https://github.com/c-cube/batsat

BatSat is a Rust SAT solver that extends ratsat with features like proof production, unsat-core...

Tokens:97
Snippets:3
Trust Score:10
Update:3 weeks ago
Tokens:
Raw