Topic: "proof-generating"
c-cube/batsat
A (parametrized) Rust SAT solver originally based on MiniSat
Language: Rust - Size: 7.75 MB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 31 - Forks: 4
KokorinIlya/math_logic
Homeworks for math logic course in ITMO University
Language: Java - Size: 3.91 MB - Last synced at: 29 days ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
