{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"clingo-explaid","owner":"potassco","isFork":false,"description":"Tools to aid the development of explanation systems using clingo","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"MIT License","participation":[1,14,10,4,0,19,3,1,9,0,5,1,1,3,1,2,0,1,0,0,0,2,2,1,0,0,0,2,0,0,0,11,9,8,1,9,5,0,3,1,0,0,0,4,6,6,10,2,4,3,1,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-05T18:54:52.848Z"}},{"type":"Public","name":"fclingo","owner":"potassco","isFork":false,"description":"Solver for ASP plus conditional linear constraints with founded variables","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":8,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T10:36:31.040Z"}},{"type":"Public","name":"libpotassco","owner":"potassco","isFork":false,"description":"🧱 A utility library used by various potassco projects","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":3,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T09:06:56.650Z"}},{"type":"Public","name":"ngo","owner":"potassco","isFork":false,"description":"Non Ground Optimizer for logic programs.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":24,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T12:53:06.516Z"}},{"type":"Public","name":"xorro","owner":"potassco","isFork":false,"description":"⚔️ A solver for programs with XOR constraints.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":5,"forksCount":1,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T15:05:53.814Z"}},{"type":"Public","name":"clasp","owner":"potassco","isFork":false,"description":"⚙️ A conflict-driven nogood learning answer set solver","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":3,"starsCount":116,"forksCount":16,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T07:17:32.408Z"}},{"type":"Public","name":"asprin","owner":"potassco","isFork":false,"description":"💊 Qualitative and quantitative optimization in answer set programming","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":3,"starsCount":18,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T12:23:44.855Z"}},{"type":"Public","name":"flatzingo","owner":"potassco","isFork":false,"description":"🦩 A flatzinc frontend for clingcon ","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":14,"starsCount":6,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T04:11:23.938Z"}},{"type":"Public","name":"fzn2lp","owner":"potassco","isFork":false,"description":"🥞 A converter from FlatZinc into an ASP fact format","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,4,0,4,7,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,4,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T08:46:48.440Z"}},{"type":"Public","name":"clingofmt","owner":"potassco","isFork":false,"description":"♻️ Experimental formatter for clingo code","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":4,"starsCount":10,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T08:46:01.945Z"}},{"type":"Public","name":"viasp","owner":"potassco","isFork":true,"description":"A visualization tool for clingo","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":20,"starsCount":6,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T04:12:02.285Z"}},{"type":"Public","name":"anthem-next","owner":"potassco","isFork":false,"description":"A translator between answer set programs and first-order logic","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":4,"issueCount":19,"starsCount":0,"forksCount":1,"license":"MIT License","participation":[0,0,0,0,0,0,1,30,35,2,0,0,0,0,0,0,0,0,0,0,0,3,9,2,9,5,23,6,0,0,0,0,1,0,9,0,5,5,0,0,0,0,8,8,10,16,14,3,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T23:36:03.919Z"}},{"type":"Public","name":"mapf-subgraph-system","owner":"potassco","isFork":false,"description":"🕵️ Solving MAPF under map-to-subgraph transformation with SAT and ASP","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T12:46:24.122Z"}},{"type":"Public","name":"clingo","owner":"potassco","isFork":false,"description":"🤔 A grounder and solver for logic programs.","allTopics":["logic-programming","answer-set-programming","declarative-programming"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":14,"starsCount":586,"forksCount":78,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T10:29:00.389Z"}},{"type":"Public","name":"flatzinc","owner":"potassco","isFork":false,"description":"🫓 A parser for the FlatZinc modelling language","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":2,"starsCount":10,"forksCount":4,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,36,1,0,0,0,0,0,0,3,0,0,0,3,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T10:40:01.216Z"}},{"type":"Public","name":"clorm","owner":"potassco","isFork":false,"description":"🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":11,"starsCount":48,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-09T10:53:44.489Z"}},{"type":"Public","name":"clinguin","owner":"potassco","isFork":false,"description":"🐧 Clingo Interactive UI","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":14,"starsCount":22,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T21:38:48.605Z"}},{"type":"Public","name":"tree-sitter-clingo","owner":"potassco","isFork":false,"description":"🌳 Clingo grammar for tree-sitter","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-30T15:23:15.775Z"}},{"type":"Public","name":"clintest","owner":"potassco","isFork":false,"description":"🧪 A test framework for clingo programs","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":13,"starsCount":6,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T12:16:35.883Z"}},{"type":"Public","name":"configuration-encoding","owner":"potassco","isFork":false,"description":"🧩 An encoding for solving configuration problems with ASP","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":8,"starsCount":5,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-17T16:04:10.677Z"}},{"type":"Public","name":"benchmark-tool","owner":"potassco","isFork":false,"description":"🏎️ Git-mirror of the benchmark-tool","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-06T17:47:48.581Z"}},{"type":"Public","name":"clingo-dl","owner":"potassco","isFork":false,"description":"📏 Theory propagator for difference logic using clingo's theory language and C++ API.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":3,"starsCount":6,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-23T20:45:10.708Z"}},{"type":"Public template","name":"python-project-template","owner":"potassco","isFork":false,"description":"📄 Template for python based projects.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":5,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-21T07:39:09.604Z"}},{"type":"Public","name":"clingo-sys","owner":"potassco","isFork":false,"description":"Raw Rust FFI bindings to the C API of clingo library","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-07T08:33:52.719Z"}},{"type":"Public","name":"clingraph","owner":"potassco","isFork":false,"description":"🕸️ A visualizer for graphs defined as logic programs","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":1,"starsCount":25,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T18:30:39.951Z"}},{"type":"Public","name":"clingcon","owner":"potassco","isFork":false,"description":"⛓️ Extension of clingo to handle constraints over integers","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":20,"starsCount":25,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T15:38:15.478Z"}},{"type":"Public","name":"python-clingox","owner":"potassco","isFork":false,"description":"🧰 Library with auxilary functions to use along with the clingo module.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T09:43:44.684Z"}},{"type":"Public","name":"telingo","owner":"potassco","isFork":false,"description":"🕰️ A solver for temporal programs.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":5,"starsCount":21,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T09:43:21.538Z"}},{"type":"Public","name":"clingo-lpx","owner":"potassco","isFork":false,"description":"🧮 A simplistic simplex solver for checking satisfiability of a set of equations.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T09:42:20.285Z"}},{"type":"Public","name":"potassco.github.io","owner":"potassco","isFork":false,"description":"ℹ️ The Potassco website","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-15T21:08:35.805Z"}}],"repositoryCount":77,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}