eomahony/Numberjack — pull request #1 by 9thbit (2012-08-01 19:12:19+00:00)
Title: Merge 9thbit and Kevin's repo.

Contains Kevin's work on adding OSI solvers, small fixes to Numberjack.
Also few small additions like Abs and .solutions() generator:
Prettifying c++ code in solvers/[osi|sat|mip]/src/