Bomotest testing tool

Bomotest testing tool is documented in my Master's Thesis somewhat. It was made by me and Keijo Heljanko. From this page you can download:

The source (Currently has compilation problems with other versions of gcc than 2.95.x) (GPLed)
You can get boundsmodels-1.5.tgz from here
Examples of specifications

You can also send some mail to me if you have something to ask.