Similar repositories to MiniZinc/mzn-challenge:

• MiniZinc/mzn-challenge github similar
• nfzhou/fzn_picat github similar
• michael-siebers/SanSi github similar
• potassco/flatzingo github similar
• nfzhou/xcsp github similar
• friguzzi/pascal github similar
• stacs-cp/AutoIG github similar
• jarble/prolog-to-minizinc github similar
• damianoazzolini/plstat github similar
• shackle-rs/shackle github similar
• acharaakshit/RMiniZinc github similar
• ed-lam/nutmeg github similar
• potassco/plingo github similar
• alexander-nadel/intel_sat_solver github similar
• airbus/discrete-optimization github similar
• mingodad/picat github similar
• CP-Unibo/sunny-cp github similar
• JanWielemaker/sCASP github similar
• celinehocquette/magicpopper github similar
• ehebrard/Mistral-2.0 github similar
• typst/hayagriva github similar
• MurrayT/OEIS.jl github similar
• xoolive/facile github similar
• or-tools/awesome_or-tools github similar
• informarte/yuck github similar
• chuffed/chuffed github similar
• probcomp/sppl github similar
• taw/z3 github similar
• MiniZinc/MiniZincIDE github similar
• MiniZinc/minizinc-benchmarks github similar
• sebdumancic/pylo2 github similar
• tias/cppy github similar
• MiniZinc/minizinc-python github similar
• eth-sri/psi github similar
• ReTeX/ReX github similar
• TuringLang/DynamicPPL.jl github similar
• radsz/jacop github similar
• Wikunia/ConstraintSolver.jl github similar
• triska/clpz github similar
• Gecode/gecode github similar