Similar repositories to potassco-asp-course/course:

• potassco-asp-course/course github similar
• schwering/golog github similar
• azreasoners/lpmln github similar
• zhunyoung/NeurASP github similar
• ML-KULeuven/LearnSDD github similar
• ekoontz/babel github similar
• alexeyignatiev/minds github similar
• QuMuLab/python-nnf github similar
• liffiton/minicard github similar
• potassco/guide github similar
• azreasoners/NeurASP github similar
• gigasquid/stanford-talk github similar
• dogriffiths/hipster github similar
• TweetyProjectTeam/TweetyProject github similar
• potassco/asprilo github similar
• SNePS/CSNePS github similar
• ForoughA/CORGI github similar
• conp-solutions/mergesat github similar
• logic-and-learning-lab/Popper github similar
• namin/leanTAP github similar
• ths-rwth/smtrat github similar
• potassco/plasp github similar
• lonsing/depqbf github similar
• wannesm/PySDD github similar
• maude-team/maude github similar
• MatthiasNickles/diff-SAT github similar
• andrew-bedford/coqatoo github similar
• uclnlp/ntp github similar
• BioDynaMo/biodynamo github similar
• SWI-Prolog/pengines github similar
• friguzzi/cplint github similar
• UniFormal/MMT github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• garrison/jsqis github similar
• arminbiere/satch github similar
• namin/logically github similar
• logictensornetworks/logictensornetworks github similar
• csplib/csplib github similar
• ML-KULeuven/deepproblog github similar
• potassco/pddl-instances github similar