Similar repositories to PatrickTrentin88/fzn2omt:

• PatrickTrentin88/fzn2omt github similar
• nfzhou/cp_modeling github similar
• ivodeliefde/cartogrammetry github similar
• potassco/flatzingo github similar
• RussAbbott/pylog_FD github similar
• nfzhou/lp-contest github similar
• MrBenGriffin/or-tools-fun github similar
• scdoshi/us-geojson github similar
• Timeroot/CLQO github similar
• CP-Unibo/sunny-cp github similar
• Gecode/MPG github similar
• ehebrard/Mistral-2.0 github similar
• mdykman/jconsole_for_android github similar
• or-tools/awesome_or-tools github similar
• informarte/yuck github similar
• MiniZinc/minizinc-benchmarks github similar
• automl/DEHB github similar
• paolodragone/pymzn github similar
• uqfoundation/ppft github similar
• CPMpy/cpmpy github similar
• chuffed/chuffed github similar
• csplib/csplib github similar
• commonsense/divisi2 github similar
• mangpo/greenthumb github similar
• grtlr/bubble-treemaps github similar
• AaltoML/kalman-jax github similar
• C5T/Current github similar
• tias/cppy github similar
• MiniZinc/minizinc-python github similar
• SymJAX/SymJAX github similar
• eth-sri/psi github similar
• MiniZinc/minizinc-examples github similar
• MiniZinc/MiniZincIDE github similar
• luinardi/hypermapper github similar
• Wikunia/ConstraintSolver.jl github similar
• cpitclaudel/z3.wasm github similar
• eomahony/Numberjack github similar
• lanl-ansi/Juniper.jl github similar
• deep-geometry/abc-dataset github similar
• optapy/optapy github similar