{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"proj-ddnnf-eval","owner":"SoftVarE-Group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Assembly","color":"#6E4C13"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","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,8,0,0,0,0,0,0,0,0,0,0,0,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T08:53:30.534Z"}},{"type":"Public","name":"pd4","owner":"SoftVarE-Group","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T07:39:25.671Z"}},{"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":6,"starsCount":6,"forksCount":8,"license":"GNU Lesser General Public License v3.0","participation":[0,4,9,0,0,1,2,0,0,0,0,0,7,4,2,1,6,24,6,7,0,1,2,4,2,5,3,0,0,0,0,0,0,3,0,0,0,19,0,0,11,32,4,8,5,9,3,0,5,0,0,14],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-09T14:32:31.350Z"}},{"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":[0,0,0,0,0,0,1,0,0,0,0,1,3,1,0,1,0,4,0,1,2,0,0,2,2,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-09T08:00:57.336Z"}},{"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-09-06T14:06:22.994Z"}},{"type":"Public","name":"feature-model-benchmark","owner":"SoftVarE-Group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":"MIT License","participation":[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,8,0,5,4,8,0,0,0,0,0,0,0,3,2,0,0,0,0,0,0,0,0,0,2,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-31T09:22:19.153Z"}},{"type":"Public","name":"d-dnnf-reasoner","owner":"SoftVarE-Group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":5,"starsCount":2,"forksCount":4,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-28T17:19:05.540Z"}},{"type":"Public","name":"d4v2","owner":"SoftVarE-Group","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":7,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-15T13:44:37.808Z"}},{"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":"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":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,1,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-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":"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":[0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,4,0,2,0,0,0,0,0,0,0,0,0,0,0,3,1,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-25T14:57:34.301Z"}},{"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":[0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,5,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-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":1,"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":13,"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"}}],"repositoryCount":33,"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"}