0.3 Release

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 compression support

• ←Previous
Next→