search

Herb-AI / HerbConstraints.jl

Constraints for Herb.jl
https://herb-ai.github.io/
MIT License
0 stars 0 forks source link

Add constraints that can be specific to RuleNodes #7

Closed jaapdejong15 closed 1 year ago

jaapdejong15 commented 1 year ago

We can improve efficiency if we can add constraints that are specific to a RuleNode. These constraints can be generated from non-specific PropagatorConstraints. A good first constraint to have would be some form of a NotEquals constraint that enforces two subtrees to be different.

See conversation: https://github.com/Herb-AI/HerbConstraints.jl/pull/5#discussion_r1134403942