search

Wikunia / ConstraintSolver.jl

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

Reified constraint #165

Closed Wikunia closed 4 years ago

Wikunia commented 4 years ago

Implement something like

@constraint(m, {y == 1} => x)

if constraint is satisfied then x must be true/1. x should be a Boolean variable.

Might need JuMP master.

Wikunia commented 4 years ago

Should probably "work" as of JuMP v0.21.3 Still needs extending JuMP of course