Navigation
Projects
Signed in as: AnonymousUser
Settings
Log out
Help
Support
Docs
Getting started
Status
Sign up
Log in
bauhaus
EN
Build logical theories for SAT solvers on the fly
cnf
constraints
encodings
logic
nnf
sat
Maintainers
Repository
QuMuLab/bauhaus
Versions
3
Builds
79
View docs
Version
All versions
stable
main
latest
Privacy
Any
Public versions
Private versions
Visibility
Any
Hidden versions
Visible versions
Sort by
Recently built
Least recently built
Frequently built
Least frequently built
Name
Name (descending)
main
Last built 1 year, 9 months ago
Default
bauhaus
#25587353
bauhaus #25587353
1 year, 9 months ago
2 seconds