Solver for upgrade scenarios in the Common Upgradeability Description Format (CUDF). Winner of Paranoid and Trendy Track at the Mancoosi International Solver Competition (MISC) 2011.

(superseded by aspcud)