Two new constraints - Githubissues

Herb-AI / HerbConstraints.jl

Constraints for Herb.jl

https://herb-ai.github.io/

MIT License

0 stars 0 forks source link

Closed Whebon closed 1 month ago

Whebon commented 1 month ago

This branch adds two new constraints to the solver:

Unique(rule). enforces that a rule can be used at most once in a program tree
ForbiddenSequence(sequence). enforces that a sequence of rules cannot appear in any vertical path in the tree (gaps are allowed).

ReubenJ commented 1 month ago

@Whebon can you fix the conflict in the GenericSolver constructor?