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
Improve this page
Add a description, image, and links to the brot topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the brot topic, visit your repo's landing page and select "manage topics."