{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"meelgroup.github.io","owner":"meelgroup","isFork":false,"description":"Meelgroup website","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T06:33:07.018Z"}},{"type":"Public","name":"meelgroup-website","owner":"meelgroup","isFork":false,"description":"Website for the group","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T06:31:51.440Z"}},{"type":"Public","name":"frat-xor","owner":"meelgroup","isFork":false,"description":"FRAT proof processor with XOR extension","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Assembly","color":"#6E4C13"},"pullRequestCount":1,"issueCount":1,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-19T14:12:49.854Z"}},{"type":"Public","name":"KCBox","owner":"meelgroup","isFork":false,"description":"A toolbox for knowledge compilation","topicNames":["model-counting","knowledge-compilation","uniform-sampling"],"topicsNotShown":0,"allTopics":["model-counting","knowledge-compilation","uniform-sampling"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":20,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-18T08:15:50.289Z"}},{"type":"Public","name":"d-ASP-US","owner":"meelgroup","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T18:42:36.204Z"}},{"type":"Public","name":"cadiback","owner":"meelgroup","isFork":true,"description":"CaDiCaL BackBone Analyzer","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T01:27:39.008Z"}},{"type":"Public","name":"breakid","owner":"meelgroup","isFork":false,"description":"BreakID, a CNF symmetry-breaking library and tool","topicNames":["cnf","satisfiability","symmetry-breaking"],"topicsNotShown":0,"allTopics":["cnf","satisfiability","symmetry-breaking"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T01:07:05.568Z"}},{"type":"Public","name":"approxmc","owner":"meelgroup","isFork":false,"description":"Approximate Model Counter","topicNames":["counting","sat","satisfiability","model-couting"],"topicsNotShown":0,"allTopics":["counting","sat","satisfiability","model-couting"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":3,"starsCount":70,"forksCount":24,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-04T19:41:05.388Z"}},{"type":"Public","name":"cadet","owner":"meelgroup","isFork":true,"description":"A fast and certifying solver for quantified Boolean formulas.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":13,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-30T18:28:51.707Z"}},{"type":"Public","name":"d4v2","owner":"meelgroup","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T18:17:22.456Z"}},{"type":"Public","name":"hqspre","owner":"meelgroup","isFork":false,"description":"From projects.informatik.uni-freiburg.de/projects/dqbf/files","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T16:11:04.532Z"}},{"type":"Public","name":"unigen","owner":"meelgroup","isFork":false,"description":"UniGen approximately uniform sampler","topicNames":["uniform-sampling"],"topicsNotShown":0,"allTopics":["uniform-sampling"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":23,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T13:42:36.519Z"}},{"type":"Public","name":"arjun","owner":"meelgroup","isFork":false,"description":"CNF minimizer and minimal independent set calculator","topicNames":["cnf","simplifier"],"topicsNotShown":0,"allTopics":["cnf","simplifier"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T13:06:04.870Z"}},{"type":"Public","name":"SBVA","owner":"meelgroup","isFork":true,"description":"Structured BVA CNF rewriter","topicNames":["cnf","sat-solver","conjunctive-normal-form","dimacs-cnf"],"topicsNotShown":0,"allTopics":["cnf","sat-solver","conjunctive-normal-form","dimacs-cnf"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-19T21:25:04.474Z"}},{"type":"Public","name":"skolemfc","owner":"meelgroup","isFork":false,"description":"Approximate Skolem Functions Counter","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T21:45:35.572Z"}},{"type":"Public","name":"pepin","owner":"meelgroup","isFork":false,"description":"A probabilistic approximate DNF counter","topicNames":["counting","dnf","pac-guarantee"],"topicsNotShown":0,"allTopics":["counting","dnf","pac-guarantee"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":30,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T20:30:54.476Z"}},{"type":"Public","name":"ganak","owner":"meelgroup","isFork":false,"description":"The first scalable probabilistic exact counter","topicNames":["satisfiability","model-counting","universal-hashing"],"topicsNotShown":0,"allTopics":["satisfiability","model-counting","universal-hashing"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":21,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T17:34:11.126Z"}},{"type":"Public","name":"cubeprobe","owner":"meelgroup","isFork":false,"description":"Testing graph samplers using Subcube Conditioning","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-14T06:49:03.699Z"}},{"type":"Public","name":"cadical","owner":"meelgroup","isFork":true,"description":"CaDiCaL SAT Solver","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":110,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-12T02:38:31.080Z"}},{"type":"Public","name":"sharpASP","owner":"meelgroup","isFork":false,"description":"sharpASP - Exact ASP Counting with Compact Encodings","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-09T19:02:45.118Z"}},{"type":"Public","name":"csb","owner":"meelgroup","isFork":false,"description":"Count and Sample on Bit-vectors.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-02T20:04:53.523Z"}},{"type":"Public","name":"cmsgen","owner":"meelgroup","isFork":false,"description":"CMSGen, a fast weighted uniform-like sampler","topicNames":["sampler","cnf","uniform-sampling","dimacs-cnf"],"topicsNotShown":0,"allTopics":["sampler","cnf","uniform-sampling","dimacs-cnf"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":8,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-30T16:56:30.823Z"}},{"type":"Public","name":"weighted-to-unweighted","owner":"meelgroup","isFork":false,"description":"Weighted to unweighted formula converter","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-25T22:35:41.724Z"}},{"type":"Public","name":"gismo","owner":"meelgroup","isFork":true,"description":"Tool for finding a minimised Grouped Independent Support (GIS).","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-07T00:25:59.191Z"}},{"type":"Public","name":"baital","owner":"meelgroup","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-28T12:26:40.800Z"}},{"type":"Public","name":"louvain-community","owner":"meelgroup","isFork":false,"description":"Louvain Community Detection Library","topicNames":["graph","graph-algorithms"],"topicsNotShown":0,"allTopics":["graph","graph-algorithms"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-30T22:26:02.453Z"}},{"type":"Public","name":"breakid_test_cnfs","owner":"meelgroup","isFork":false,"description":"Test CNFs for BeakID by Jo Devriendt","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Roff","color":"#ecdebe"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-27T16:37:31.848Z"}},{"type":"Public","name":"bosphorus","owner":"meelgroup","isFork":false,"description":"Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter","topicNames":["cnf","cryptoanalysis","sat","dimacs","anf","anf-simplifications"],"topicsNotShown":0,"allTopics":["cnf","cryptoanalysis","sat","dimacs","anf","anf-simplifications"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":4,"starsCount":64,"forksCount":18,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-27T04:09:02.057Z"}},{"type":"Public","name":"gaussmaxhs","owner":"meelgroup","isFork":false,"description":"GaussMaxHS, a CNF+XOR MaxSAT solver","topicNames":["cnf","gauss-elimination","xor","gauss-jordan","maxsat"],"topicsNotShown":0,"allTopics":["cnf","gauss-elimination","xor","gauss-jordan","maxsat"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":3,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-23T20:10:28.543Z"}},{"type":"Public","name":"tbuddy","owner":"meelgroup","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-18T00:42:51.161Z"}}],"repositoryCount":70,"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"}