{"payload":{"pageCount":1,"repositories":[{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T08:46:01.945Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T08:46:48.440Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T10:40:01.216Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T23:36:03.919Z"}},{"type":"Public","name":"clingo-rs","owner":"potassco","isFork":false,"description":"🗝️ Rust bindings to the clingo library","allTopics":["rust-bindings","clingo"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":2,"starsCount":29,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-08T08:34:37.725Z"}},{"type":"Public","name":"mu-gringo","owner":"potassco","isFork":false,"description":"🌱 A prototypical grounder implementation","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":0,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-19T11:12:21.061Z"}},{"type":"Public","name":"clingo-server","owner":"potassco","isFork":false,"description":"🌐 Clingo via HTTP","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":4,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-20T17:24:37.786Z"}},{"type":"Public","name":"clingo-dl-theory-rs","owner":"potassco","isFork":false,"description":"Raw Rust FFI bindings to the C API of clingo-dl library ","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-20T17:08:32.619Z"}},{"type":"Public","name":"clingcon-theory-rs","owner":"potassco","isFork":false,"description":"Raw Rust FFI bindings to the C API of clingcon library ","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-20T17:07:18.018Z"}},{"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":"foliage","owner":"potassco","isFork":false,"description":"🍁 Rust crate for first-order logic with integer arithmetics","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-09T13:12:59.659Z"}},{"type":"Public","name":"anthem","owner":"potassco","isFork":false,"description":"🎼 Translate answer set programs to first-order theorem prover language","allTopics":["theorem-proving","first-order-logic","verification","asp"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":5,"starsCount":7,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-22T14:41:51.322Z"}},{"type":"Public","name":"clingo_derive","owner":"potassco","isFork":false,"description":"derive macro for the clingo::ToSymbol trait","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-03T21:10:19.063Z"}}],"repositoryCount":13,"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"}