Add set_box in UnconstrainedLocalSearch
Start OptiCtc
Merge branch 'master' of https://github.com/ibex-team/ibex-lib into OptiContractor
Merge branch 'master' of https://github.com/ibex-team/ibex-lib into OptiContractor
Merge branch 'master' of https://github.com/ibex-team/ibex-lib into OptiContractor
First commit of OptimCtc
OptimCtc : First compilation ok
ExprDiff: new test
OptimCtc : First Test ok
need to customize
test_optimizerCTC : First test OK
OptimCtc : remove comment and Test OK.. but it's still slow
OptimCtc : change the try_direct. Now a feasible point is a point which
are not contracted by _ctc_out
ExprDiff: allow array of ExprNode instead of symbols
Optimizer: Fix bug (issue #44)
Optimizer: Fix new problem introduced when fixing issue #44 in last commit. Now this issue should be resolved.
Optimizer: Removing message
- correct bug in CtcQuantif (the assert was wrong)
- Correct the feasibility test in OptimCtc
CellHeapOptim : just to have a save of what I try...
CellHeapOptim: remove the previous commit
Merge remote-tracking branch 'origin/OptiContractor'