luet/docs/content/en/blog/releases/0.3.md
Ettore Di Giacinto a591a1e44f 📓 Add docs alongside
2022-01-30 22:04:36 +01:00

374 B
Executable File


title: "0.3 Release" linkTitle: "0.3" date: 2019-12-23 description: > X-Mas 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