Two new constraints (dependent on PR #47 of HerbConstraints)

Herb-AI / HerbSearch.jl

Search procedures and synthesizers for Herb.jl

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

MIT License

5 stars 0 forks source link

Two new constraints (dependent on PR #47 of HerbConstraints) #93

Closed Whebon closed 5 months ago

Whebon commented 6 months ago

Depends on https://github.com/Herb-AI/HerbConstraints.jl/pull/47 (merged)

This branch adds tests for two new constraints of 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 5 months ago

Resolved merge conflicts, and verified that all tests passed with the following setup:

packages = [
    PackageSpec(name="HerbConstraints", rev="dev"),
    PackageSpec(name="HerbGrammar", rev="dev"),
    PackageSpec(name="HerbCore"),
    PackageSpec(name="HerbInterpret", rev="dev"),
    PackageSpec(name="HerbSearch", rev="forbidden-path"), 
    PackageSpec(name="HerbSpecification", rev="dev")
]