proof-generating

There are 2 repositories under proof-generating topic.

c-cube/batsat
A (parametrized) Rust SAT solver originally based on MiniSat
Language:Rust31 5 64
KokorinIlya/math_logic
Homeworks for math logic course in ITMO University
Language:Java1 0