Similar repositories to potassco/flatzingo:

• potassco/flatzingo github similar
• MiniZinc/mzn-challenge github similar
• stacs-cp/AutoIG github similar
• potassco/fzn2lp github similar
• potassco/clingo-dl github similar
• shackle-rs/shackle github similar
• jarble/prolog-to-minizinc github similar
• PatrickTrentin88/fzn2omt github similar
• nfzhou/fzn_picat github similar
• alexander-nadel/intel_sat_solver github similar
• ed-lam/nutmeg github similar
• ehebrard/Mistral-2.0 github similar
• acharaakshit/RMiniZinc github similar
• CP-Unibo/sunny-cp github similar
• chuffed/chuffed github similar
• biotomas/ipasir github similar
• mdykman/jconsole_for_android github similar
• Gecode/MPG github similar
• MiniZinc/minizinc-benchmarks github similar
• informarte/yuck github similar
• potassco/guide github similar
• MiniZinc/MiniZincIDE github similar
• csplib/csplib github similar
• MiniZinc/minizinc-python github similar
• potassco/clasp github similar
• CPMpy/cpmpy github similar
• radsz/jacop github similar
• Gecode/gecode github similar
• eth-sri/psi github similar
• MiniZinc/minizinc-examples github similar
• scipopt/scip github similar
• eomahony/Numberjack github similar
• MiniZinc/libminizinc github similar
• pysathq/pysat github similar
• SRI-CSL/yices2 github similar
• ERGO-Code/HiGHS github similar
• chocoteam/choco-solver github similar
• potassco/clingo github similar
• scala-graph/scala-graph github similar
• probmods/webppl github similar