Merge branch 'exact-offset' into 'develop'

Exact SCIP offset

See merge request integer/MIP-DD!94

fix version to 1.0.0