Pietro Abate homepage

A small (and probably not complete) list of videos associated to the mancoosi project @ FOSDEM.

• QA tools for FOSS distributions (FOSDEM 2012) - Pietro Abate (video)

• Mancoosi tools for the analysis and quality assurance of FOSS (FOSDEM 2011) - Ralf Treinen (video)

• Improving Rollback in Linux via DSL approach & distributing (FOSDEM 2011) - John Thomson (video)

• Cross distro depend

Recently I've discovered a subtle consequence of how the order in which dependencies are specified in debian actually matters. While re-factoring the code of dose3, I changed the order in which dependencies are considered by our sat solver (of edos-fame) . I witnessed a twofold performance loss just by randomizing how variables were presented to our sat solver.

The results of the MISC competition 2011 were announced during the Workshop LoCoCo in Perugia Monday 12th of September.

The winners are :

• for the track paranoid and trendy the solver aspuncud, a solver based on an experimental version of clasp with iterative unsatisfiable core elimination by Oliver Matheis.
• and for the track user the solver gj-user-solver, a refacto

Recently, all relevant packages needed to run mpm (the mancoosi package manager) landed in debian (thanks ralf and zack !). Now it should be a tad easier to run mpm and to play with it. The code of mpm is available on the mancoosi svn repository (user/pass : mancoosi/mancoosi) . To run it, you also need to install python-apt.

These are all cudf solvers you can use as mpm backends.

Thanks to Ralf's work, dose3 has been just accepted in debian experimental !!!

After a bit of work, today I decided to start using mpm, the mancoosi package manager, to upgrade my laptop. My first use of it on a production system - until now I run all my experiments in throw-away virtual machines - and it works !

Not rocket science here. During the last month David Kalnischkies (of APT fame) visited our offices in Paris and together with zack worked out a communication protocol between apt-get and the mancoosi cudf solvers (EDSP). I guess somebody is going to announce all details about this endeavor soon.

One important aspect of the mancoosi project is to build a model of the installation process in order to simulate packages upgrades before committing the changes on the machine.

The second edition of the lo.co.co. workshop has been just announced . It will happen on September 12, 2011, in Perugia, Italy and co-located with the International Conference on Principles and Practice of Constraint Programming (CP 2011)

During the workshop it will be announced the winner(s) of the second official edition of the MISC competition (TBA).