branches with status:
Name Status Last Modified Last Commit
lp:~guido.tack/digecode/digecode.guido 1 Development 2011-03-14 17:38:49 UTC
34. Adapted to Gecode trunk

Author: Guido Tack
Revision Date: 2011-03-14 17:38:49 UTC

Adapted to Gecode trunk

11 of 1 result