{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"htd","owner":"TU-Wien-DBAI","isFork":false,"description":"A small but efficient C++ library for computing (customized) tree and hypertree decompositions.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":5,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-29T21:41:49.448Z"}},{"type":"Public","name":"htd-1","owner":"TU-Wien-DBAI","isFork":true,"description":"A small but efficient C++ library for computing (customized) tree and hypertree decompositions.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":18,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-02T19:06:30.599Z"}},{"type":"Public","name":"argu-replacementpatterns","owner":"TU-Wien-DBAI","isFork":false,"description":"A project on replacement patterns for abstract argumentation","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-22T15:09:58.468Z"}},{"type":"Public","name":"dynqbf","owner":"TU-Wien-DBAI","isFork":false,"description":"An expansion-based QBF solver for instances of low-to-medium treewidth.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-02T15:43:57.756Z"}},{"type":"Public","name":"sharp","owner":"TU-Wien-DBAI","isFork":false,"description":"Source code of the sharp library (libsharp) for dynamic programming on hypertree decompositions: <a href=\"http://dbai.tuwien.ac.at/proj/sharp/\" rel=\"nofollow\">http://dbai.tuwien.ac.at/proj/sharp/</a>","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-02T17:13:09.828Z"}},{"type":"Public","name":"logic-helpers","owner":"TU-Wien-DBAI","isFork":false,"description":"Source code of the logichelpers library (liblogichelpers)","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-02T11:30:54.463Z"}},{"type":"Public","name":"logic-parsers","owner":"TU-Wien-DBAI","isFork":false,"description":"Source code of the logicparsers library (liblogicparsers)","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-02T11:28:51.999Z"}},{"type":"Public","name":"qbf2asp","owner":"TU-Wien-DBAI","isFork":false,"description":"Source code of qbf2asp, a tool that rewrites Quantified Boolean Formulas (QBF) to Answer Set Programming (ASP) programs.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-02T07:51:25.141Z"}}],"repositoryCount":8,"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":"TU-Wien-DBAI repositories"}