basf / mopti

Lightweight tools for experimental design and multi-objective optimization.
https://basf.github.io/mopti
28 stars 3 forks source link

Check if constraints are satisfiable #4

Open bertiqwerty opened 3 years ago

bertiqwerty commented 3 years ago

The purpose of this would be to aid users by this consistency check when specifying constraints. Checking feasibility is only reasonably possible for linear constraints. To do this check we could try to solve a scipy.optimize.linprog problem.

DavidWalz commented 2 years ago

@Osburg this is something that is already done as part of reduce_problem.

Osburg commented 2 years ago

@DavidWalz but I think not necessarily for all constraints. For example linear inequality constraints that do not contain any of the eliminated variables just stay as they are and will therefore never be checked.