Posts in 2019
-
Website is up
Monday, December 23, 2019 in News
Finally the website is up! Docs are a work in progress. Stay tuned for more upcoming updates
-
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 …