Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'
-
Updated
Mar 7, 2024 - HTML
#
featureide
Here are 3 public repositories matching this topic...
Java Battleship FeatureIDE SPL
-
Updated
Jan 2, 2021 - Java
SISBOLAO Project It is a software product line project of Bolão.
-
Updated
Dec 19, 2018 - JavaScript
Improve this page
Add a description, image, and links to the featureide topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the featureide topic, visit your repo's landing page and select "manage topics."