Versions

Description

Build logical theories for SAT solvers on the fly

Repository

https://github.com/QuMuLab/bauhaus.git

Project Slug

bauhaus

Last Built

1 year, 2 months ago passed

Maintainers

Badge

Tags

cnf, constraints, encodings, logic, nnf, sat

Short URLs

bauhaus.readthedocs.io
bauhaus.rtfd.io

Default Version

main

'latest' Version

main