Geeks
LucaGaspa
/
mzn2omt
Direct Translator from Constraint Programming to Satisfiability Modulo Theories
Primary Language
C++
mzn2omt GitHub
Markdown
Readme
2
Issues
1
Stargazer
2
Watchers
Issues
Open issue
DNumber to int
#7 opened
8 years ago
5
Closed issue
IntervalSetLib with real numbers
#2 opened
8 years ago
4