Generated on Sat Aug 25 2012 03:32:59 for Gecode by doxygen 1.8.1.2
Testing

Modules

 Testing finite domain integers
 Testing finite sets
 General test support

Detailed Description