Posts in 2019
-
0.3 Release
Monday, December 23, 2019 in Releases
This release comes with a lot of bugfixes and enhancement to the SAT solver core: Add support for provides. They allow to have virtual packages which can be replaced during solving by other drop-in packages. Tons of fixes Preparation for upcoming …