Merge branch 'hotfix-50' into develop
Merge branch 'hotfix-53' into develop
Merge branch 'master' into develop
Doc update
Doc update
Merge branch 'hotfix-56' into develop
IntervalVector() is now private
Merge branch 'hotfix-57' into develop
Merge branch 'hotfix-57.2' into develop
Merge branch 'hotfix-57.2' into ampl
Simplification of the use of AmplInterface
System(const AmplInterface& ampl)
Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop
Merge branch 'develop' into ampl
remove some unused "resize" of IntervalVector
Introduce LPException
CPLEX done
add .travis.yml
Configuration of Travis-CI
correct Travis
correct Travis script
It should be ok now!!!