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—

GitHubhttps://github.com/PatrickTrentin88/fzn2omt

Last pushed2023-07-28

Last updated2025-12-15

Issues fetched at—

PatrickTrentin88/fzn2omt

Community at a glance