RSS

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

    Read more

  • 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