c-cube/batsat

A (parametrized) Rust SAT solver originally based on MiniSat

语言：Rust · GitHub 星标：32 · Fork：5

话题：drat · minisat · proof-generating · rust · sat-solver · sat-solver-bindings

在 GitHub 上查看原仓库