PatrickTrentin88/fzn2omt

Tools/Scripts to convert MiniZinc/FlatZinc to Optimization Modulo Theories (OMT) for BCLT, OptiMathSAT or Z3 and Satisfiability Modulo Theories (SMT) for CVC4.

PythonStars 8Forks 0Watchers 8Open issues 3
Details
仓库信息
OwnerPatrickTrentin88
Homepage
Last pushed2023-07-28
Last updated2025-12-15
Issues fetched at

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--