set strategies
Merge branch 'feature-setfact' into develop
[Issue #122] change data base schema
Merge branch 'feature-sql' into develop
[Issue #123] add precision to real objective manager
Merge branch 'feature-rob' into develop
update CHANGES.md
[Issue #125] remove shut down hook, when the resolution ends normally
Merge branch 'feature-mem' into develop
[Issue #124] instead of calling "-f", call "-lf" when free search is called
Merge branch 'feature-script' into develop
Update CHANGES.md
cumulative improvement
Merge branch 'feature-cu' into develop
Merge branch 'develop' into feature-pe4