Similar repositories to potassco/plingo:

• potassco/plingo github similar
• danistefanovic/build-your-own-x github similar
• michael-siebers/SanSi github similar
• nfzhou/xcsp github similar
• friguzzi/pascal github similar
• MiniZinc/mzn-challenge github similar
• nfzhou/fzn_picat github similar
• bramucas/xclingo2 github similar
• damianoazzolini/plstat github similar
• azreasoners/lpmln github similar
• celinehocquette/magicpopper github similar
• mingodad/picat github similar
• alviano/wasp github similar
• JanWielemaker/sCASP github similar
• MurrayT/OEIS.jl github similar
• SWI-Prolog/tabled-prolog-book github similar
• xoolive/facile github similar
• potassco/clorm github similar
• potassco/asprilo github similar
• or-tools/awesome_or-tools github similar
• alpha-asp/Alpha github similar
• probcomp/sppl github similar
• taw/z3 github similar
• potassco/guide github similar
• friguzzi/cplint github similar
• didoudiaz/gprolog github similar
• FlorisSteenkamp/MAT github similar
• sebdumancic/pylo2 github similar
• megagonlabs/sato github similar
• tias/cppy github similar
• logic-and-learning-lab/Popper github similar
• gapt/gapt github similar
• TuringLang/DynamicPPL.jl github similar
• cloudflare/lazyhtml github similar
• arthurdouillard/deepcourse github similar
• eth-sri/psi github similar
• sahands/simple-sat github similar
• Wikunia/ConstraintSolver.jl github similar
• triska/clpz github similar
• ML-KULeuven/problog github similar