GitHub - bdemsky/satune: Tool for generating optimized SAT encodings of constraints · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 838 Commits
design		design
papers		papers
src		src
.gitignore		.gitignore
deploy-cs.sh		deploy-cs.sh
smtmonitor.sh		smtmonitor.sh
tunermonitor.sh		tunermonitor.sh

About

Tool for generating optimized SAT encodings of constraints

Report repository

Releases

No releases published

Packages

Contributors

Languages