Similar repositories to friguzzi/pascal:

• friguzzi/pascal github similar
• danistefanovic/build-your-own-x github similar
• michael-siebers/SanSi github similar
• nfzhou/xcsp github similar
• MiniZinc/mzn-challenge github similar
• nfzhou/fzn_picat github similar
• damianoazzolini/plstat github similar
• celinehocquette/magicpopper github similar
• JeanChristopheRohner/theory-toolbox-2 github similar
• logic-and-learning-lab/ilp-experiments github similar
• potassco/plingo github similar
• mingodad/picat github similar
• JanWielemaker/sCASP github similar
• alviano/wasp github similar
• DeMaCS-UNICAL/I-DLV github similar
• MurrayT/OEIS.jl github similar
• xoolive/facile github similar
• stefano-bragaglia/XHAIL github similar
• haldai/Jurassic.pl github similar
• alan-turing-institute/NearestNeighborModels.jl github similar
• friguzzi/aleph github similar
• diffblue/2ls github similar
• or-tools/awesome_or-tools github similar
• probcomp/sppl github similar
• potassco/guide github similar
• friguzzi/cplint github similar
• taw/z3 github similar
• TuringLang/DynamicPPL.jl github similar
• sebdumancic/pylo2 github similar
• logic-and-learning-lab/Popper github similar
• RiS3-Lab/p2im github similar
• tias/cppy github similar
• eth-sri/psi github similar
• eth-sri/ELINA github similar
• 0xdea/ghidra-scripts github similar
• Wikunia/ConstraintSolver.jl github similar
• plyara/plyara github similar
• triska/clpz github similar
• TuringLang/MCMCChains.jl github similar
• HexHive/magma github similar