QuMuLab/bauhaus

Build logical theories for SAT solvers on the fly

Language: Python - Size: 714 KB - Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 6 - Forks: 2