anfelbar/mozart2-library — pull request #5 by juancate (2013-04-09 07:31:57+00:00)
Title: Gecode branchers for Finite Domains

Added all branchers from Gecode for Finite Domains, now they are available in Mozart.