Wikunia / ConstraintSolver.jl

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

Implement xor and xnor #259

Closed Wikunia closed 3 years ago

Wikunia commented 3 years ago

The element constraint PR #213 doesn't work without xnor. For this it makes sense to implement xor and the complement constraint xnor.