After the first test runs of the solver competition, at that time still called the 'Mancoosi internal Solver Competition (MiSC)', and the lessons we learned from that experience, the first Mancoosi International Solver Competition (MISC) will take place during the summer of 2010. The results will be announced at the LoCoCo 2010 workshop which will take place on July 10 as part of the FLoC conference.

More about the competion can be learned from the MISC web page. This page is intended for readers who are not yet familiar with the Mancoosi project; those who know the project already might want to jump to the bottom of that page where they will find pointers to the technical details. Participants of the internal MiSC competition beware: there are some changes to the rules, in particular we made the 'trendy' track more difficult by taking into account Recommends, that is non-mandatory package dependencies. Other significant changes include taking into account time. However, the total time used by a participating solver is only taken into account when breaking ties between solvers that otherwise are ranked equal, and furthermore only to determine the winner.

Let the games begin :-)