search

Wikunia / ConstraintSolver.jl

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

Speed up != with cliques #185

Closed Wikunia closed 3 years ago

Wikunia commented 3 years ago

Several != can be combined to an alldifferent constraint by using maximal cliques.

We can use: https://juliagraphs.org/LightGraphs.jl/stable/community/#LightGraphs.maximal_cliques