RSS

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 …

    Read more