Similar repositories to JackWahlig/Popper:

• JackWahlig/Popper github similar
• CyberSecLabBS/ProbPopper github similar
• JeanChristopheRohner/theory-toolbox-2 github similar
• logic-and-learning-lab/ilp-experiments github similar
• celinehocquette/magicpopper github similar
• friguzzi/aleph github similar
• logic-and-learning-lab/Popper github similar
• eth-sri/psi github similar
• CPMpy/cpmpy github similar
• metagol/metagol github similar
• probmods/webppl github similar
• cvc5/cvc5 github similar
• SWI-Prolog/swipl-devel github similar
• dotnet/infer github similar
• mthom/scryer-prolog github similar
• fchollet/ARC github similar
• google/or-tools github similar