Similar repositories to jarble/prolog-to-minizinc:

• jarble/prolog-to-minizinc github similar
• MiniZinc/mzn-challenge github similar
• nfzhou/fzn_picat github similar
• potassco/flatzingo github similar
• shackle-rs/shackle github similar
• acharaakshit/RMiniZinc github similar
• RobertSasak/Prolog-Planning-Library github similar
• SWI-Prolog/tabled-prolog-book github similar
• CP-Unibo/sunny-cp github similar
• ehebrard/Mistral-2.0 github similar
• informarte/yuck github similar
• taw/z3 github similar
• chuffed/chuffed github similar
• MiniZinc/minizinc-examples github similar
• MiniZinc/minizinc-benchmarks github similar
• MiniZinc/minizinc-python github similar
• stassa/Gleemin github similar
• MiniZinc/MiniZincIDE github similar
• metagol/metagol github similar
• radsz/jacop github similar
• SRI-CSL/yices2 github similar
• Gecode/gecode github similar
• MiniZinc/libminizinc github similar
• hakank/hakank github similar
• chocoteam/choco-solver github similar
• SWI-Prolog/swish github similar
• cvc5/cvc5 github similar
• SWI-Prolog/swipl-devel github similar
• mthom/scryer-prolog github similar
• triska/the-power-of-prolog github similar
• clojure/core.logic github similar
• google/or-tools github similar
• Z3Prover/z3 github similar
• qmk/qmk_firmware github similar
• zziz/pwc github similar
• syl20bnr/spacemacs github similar
• hasura/graphql-engine github similar
• mtdvio/every-programmer-should-know github similar
• tensorflow/tensorflow github similar