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
#
brot
Here are 2 public repositories matching this topic...
Nährwerte, Kosten, Bäckerprozent und Teigausbeute für selbstgebackenes Brot – mit EU-konformem Etikett. Vollständig KI-generiert (Claude/Anthropic) nach fachlicher Vorgabe von Martin Kraus. GPL-3.0-or-later.
desktop-app python baking qt deutsch nutrition bread gpl3 claude nutrition-facts backen brot ai-generated pyside6 food-labeling bakers-percentage naehrwerte teigausbeute lebensmittelkennzeichnung eu-1169-2011
-
Updated
Aug 17, 2026 - Python
Add this topic to your repo
To associate your repository with the brot topic, visit your repo's landing page and select "manage topics."