{"payload":{"pageCount":1,"repositories":[{"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":[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,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T09:06:56.650Z"}},{"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":[0,0,0,0,0,0,5,0,8,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,3,3,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T12:46:24.122Z"}},{"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":"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":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-23T20:45:10.708Z"}},{"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":"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":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,0,2,0,0,0,0,0,0,0,3,0,1,0,0,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T15:38:15.478Z"}},{"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":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T09:42:20.285Z"}},{"type":"Public","name":"aspcud","owner":"potassco","isFork":false,"description":"A solver for package problems in CUDF format","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":26,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-18T08:16:07.091Z"}},{"type":"Public","name":"clingo-xor","owner":"potassco","isFork":false,"description":" 📟 Clingo + XOR-constraints + Simplex","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-16T14:30:47.496Z"}},{"type":"Public","name":"atlingo","owner":"potassco","isFork":false,"description":"Automata for dynamic answer set solving","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-01T17:53:32.530Z"}},{"type":"Public","name":"plasp","owner":"potassco","isFork":false,"description":"🗺️ ASP planning tools for PDDL","allTopics":["planning","sas","asp","pddl"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":3,"starsCount":27,"forksCount":13,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-09T12:36:31.492Z"}},{"type":"Public","name":"teaspoon","owner":"potassco","isFork":false,"description":"🥄 ASP encodings to solve the curriculum-based course timetabling problem","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-08-19T05:41:15.531Z"}},{"type":"Public archive","name":"libcsp","owner":"potassco","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-08-15T12:12:30.521Z"}},{"type":"Public","name":"ginkgo","owner":"potassco","isFork":false,"description":"🌱 Generalize learned constraints with ASP","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-12-05T15:26:02.703Z"}},{"type":"Public","name":"fz2aspif","owner":"potassco","isFork":false,"description":"Translating flatzinc format to ASP intermediate language aspif. To be used with clingcon-3.x series.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-28T11:05:05.890Z"}},{"type":"Public","name":"lc2casp","owner":"potassco","isFork":false,"description":"A translator for logic programs with constraint atoms to CASP.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-01-30T09:45:25.404Z"}}],"repositoryCount":16,"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"}