Similar repositories to celinehocquette/magicpopper:

• celinehocquette/magicpopper github similar
• danistefanovic/build-your-own-x github similar
• logic-and-learning-lab/ilp-experiments github similar
• CyberSecLabBS/ProbPopper github similar
• friguzzi/pascal github similar
• rolfmorel/popper github similar
• JeanChristopheRohner/theory-toolbox-2 github similar
• joshrule/list-routines-model-comparison github similar
• JackWahlig/Popper github similar
• friguzzi/cplint_r github similar
• pashok3d/FOIL_Prolog github similar
• chriskarpovich/ilm github similar
• rb6-cyber/pfc github similar
• michael-siebers/SanSi github similar
• jmmcd/ARC github similar
• samwalrus/scasp_tests github similar
• mingodad/picat github similar
• nfzhou/xcsp github similar
• PaulBrownMagic/PongTalk github similar
• martinodb/SBCG github similar
• niftythoughts/ansi-highlighter-premium github similar
• friguzzi/aleph github similar
• PaulBrownMagic/STRIPState github similar
• Yakushima/NSM-DALIA github similar
• NovelAI/narrative_inference_demo github similar
• ngeiswei/pln github similar
• mbillingr/miniKANREN github similar
• MiniZinc/mzn-challenge github similar
• femtomc/Problox.jl github similar
• nfzhou/fzn_picat github similar
• patham9/onaPL github similar
• JanWielemaker/sCASP github similar
• SWI-Prolog/contrib-plfann github similar
• OpenGen/GenTorch github similar
• damianoazzolini/plstat github similar
• triska/scryer-prolog github similar
• logic-and-learning-lab/Popper github similar
• java-prolog-connectivity/jpc github similar
• dereklarson/ARC_study github similar
• ptarau/play github similar