{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"d-dnnf-reasoner","owner":"SoftVarE-Group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":3,"starsCount":2,"forksCount":3,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-09T13:12:40.521Z"}},{"type":"Public","name":"BibTags","owner":"SoftVarE-Group","isFork":false,"description":"A collection of cleaned BibTeX entries and tags to be used with MibTeX","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":1,"issueCount":5,"starsCount":6,"forksCount":8,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-03T10:14:37.972Z"}},{"type":"Public","name":"Slides","owner":"SoftVarE-Group","isFork":false,"description":"Slides of scientific presentations on research published by the SoftVarE group","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Creative Commons Attribution Share Alike 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-22T08:25:06.790Z"}},{"type":"Public","name":"uvl-smt","owner":"SoftVarE-Group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-17T09:37:15.942Z"}},{"type":"Public","name":"as4moco","owner":"SoftVarE-Group","isFork":false,"description":"Algorithm selection for model counting","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-15T06:41:15.415Z"}},{"type":"Public","name":"Papers","owner":"SoftVarE-Group","isFork":false,"description":"Preprints of research published by the SoftVarE group enriched with PDF comments on findings after publication.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"Creative Commons Attribution Share Alike 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T18:40:42.336Z"}},{"type":"Public","name":"exploiting-ddnnfs-eval","owner":"SoftVarE-Group","isFork":false,"description":"Replication package for empirical evaluation on d-DNNFs for feature-model counting","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-09T13:15:42.804Z"}},{"type":"Public","name":"Course-on-Software-Product-Lines","owner":"SoftVarE-Group","isFork":false,"description":"Material for lectures on software product lines","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":15,"starsCount":11,"forksCount":0,"license":"Creative Commons Attribution Share Alike 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T19:57:49.153Z"}},{"type":"Public","name":"uvlgenerator","owner":"SoftVarE-Group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T17:40:20.994Z"}},{"type":"Public","name":"d4-oxide","owner":"SoftVarE-Group","isFork":false,"description":"A Rust wrapper around d4.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-25T14:57:34.301Z"}},{"type":"Public","name":"d4v2","owner":"SoftVarE-Group","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":8,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-24T21:54:33.163Z"}},{"type":"Public","name":"feature-model-benchmark","owner":"SoftVarE-Group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-24T13:09:42.153Z"}},{"type":"Public","name":"fm-benchmark-evaluation","owner":"SoftVarE-Group","isFork":false,"description":"Computes various metrics for a given feature-model collection","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-14T10:02:21.290Z"}},{"type":"Public","name":"fm-collection-replication-package","owner":"SoftVarE-Group","isFork":false,"description":"Replication Package for the literature survey on identifying a collection of feature models","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-14T09:21:35.138Z"}},{"type":"Public archive","name":"SlideTemplate","owner":"SoftVarE-Group","isFork":false,"description":"A beamer latex template for slides and lectures at University of Ulm","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":3,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T15:08:43.492Z"}},{"type":"Public","name":"MibTeX","owner":"SoftVarE-Group","isFork":false,"description":"Minimalistic tool to manage your references with BibTeX","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":4,"starsCount":2,"forksCount":1,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T15:14:20.633Z"}},{"type":"Public","name":"sat2024-as4moco-evaluation","owner":"SoftVarE-Group","isFork":false,"description":"Replication package for submission to SAT24 conference","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-14T07:49:16.525Z"}},{"type":"Public","name":"BroT","owner":"SoftVarE-Group","isFork":false,"description":"Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'","allTopics":["dsl","eclipse","constraint","case-study","tu-braunschweig","featureide","brot","sat-encodings"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-07T13:37:54.391Z"}},{"type":"Public","name":"IncrementalSharpSAT","owner":"SoftVarE-Group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-06T20:46:28.959Z"}},{"type":"Public","name":"emse-evaluation-sharpsat","owner":"SoftVarE-Group","isFork":false,"description":"Empirical evaluation for the EMSE journal extension \"Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces\"","allTopics":["bdd","model-counting","sharpsat","featuremodel","benchmark"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":5,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-06T20:45:25.770Z"}},{"type":"Public","name":"uvl-playground","owner":"SoftVarE-Group","isFork":false,"description":"Web-based playground for trying out the Universal Variability Language","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":2,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-09T13:41:35.526Z"}},{"type":"Public","name":"mt-kahypar-sys","owner":"SoftVarE-Group","isFork":false,"description":"Rust bindings to Mt-KaHyPar.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-07T16:03:32.689Z"}},{"type":"Public","name":"ProfCalculator","owner":"SoftVarE-Group","isFork":false,"description":"An example project to illustrate coding guidelines, version control, and design patterns in a software engineering lecture in Ulm.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":8,"issueCount":0,"starsCount":0,"forksCount":6,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-27T11:57:10.803Z"}},{"type":"Public","name":"Slides-of-the-SPL-Course","owner":"SoftVarE-Group","isFork":false,"description":"Released version of slides for the lecture on software product lines","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-12T11:31:37.687Z"}},{"type":"Public","name":"glucose","owner":"SoftVarE-Group","isFork":true,"description":"The glucose SAT solver","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":12,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-05T13:05:55.810Z"}},{"type":"Public","name":"ThesisTemplate","owner":"SoftVarE-Group","isFork":false,"description":"A template for bachelor, master, or PhD theses based on a template by Roland Bless and on a template by Martin Kuhlemann. The template is available for theses in English and in German. Bugs and recommendations are welcome.","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":2,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-02T05:09:55.746Z"}},{"type":"Public","name":"kc-for-fmanalysis-evaluation","owner":"SoftVarE-Group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-07T11:48:07.352Z"}},{"type":"Public","name":"Software-Engineering-2021-2022","owner":"SoftVarE-Group","isFork":false,"description":"Slides for the bachelor course on software engineering held at University of Ulm in 2021/2022","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Creative Commons Attribution Share Alike 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-31T11:52:26.449Z"}},{"type":"Public","name":"BroTLibraryExample","owner":"SoftVarE-Group","isFork":false,"description":"Example Code for Using the SAT Encodings of BroT","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-09T11:40:49.064Z"}},{"type":"Public","name":"Scientific-Writing","owner":"SoftVarE-Group","isFork":false,"description":"Slides for the lectures on scientific writing held at University of Ulm","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Creative Commons Attribution Share Alike 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-13T05:18:49.663Z"}}],"repositoryCount":31,"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":"SoftVarE-Group repositories"}