search

Wikunia / ConstraintSolver.jl

ConstraintSolver in Julia: Blog posts ->
https://opensourc.es/blog/constraint-solver-1
MIT License
136 stars 13 forks source link

Better support for <= #233

Closed Wikunia closed 3 years ago

Wikunia commented 3 years ago

Currently <= doesn't prune as strong as ==. I think it makes sense to convert <= to == with a real slack variable.

Then <=, >=, <, > and == can be supported in the same way.

Related to #232

Wikunia commented 3 years ago

I've simply combined the pruning for == and <= into src/constraints/linear_constraints.jl in #232