ampl/mp v20130703

20130703

on GitHub

• Gecode
  • Updated to version 4.1.0: changelog
  • Add a way to query option values using <option-name>=? in gecode_options
  • Multiple bug fixes
• CBC
  • Updated to version 2.8.2: changelog
  • Enable SMP mode
• ODBC table handler:
  • Fix a fault when no "User DSN" or "System DSN" entries appear in the MS Windows ODBC
    Administrator and the filename in a table declaration ends with an unknown extension.

The downloads are available on Google Code.