A new version of MANCOOSI's distribution toolkit dose2 has been released - version 1.4.

Its main new feature is speed. It is now possible to prepare the SAT encoding of repositories in advance and reuse it for multiple computations, which can dramatically speed up computation of (amongst others) strong dependencies.

Another improvement is that it is now possible to read Debian Packages.bz2 or .gz files directly, without having to unzip them first.

There have been quite a few bugfixes as well.

Together with this new version of dose2, there are new releases of pkglab and ceve. The improvements there are mostly incremental; pkglab has some new functions (to compute the shortest dependency path between two packages, for example, or to show all available versions of a given unit), and ceve now has the possibility to output the SAT encoding of a repository in the widely used DIMACS format.

All this is up for grabs on the SODIAC project page here.