v0.3.0

HerbConstraints v0.3.0

Diff since v0.2.5

Breaking changes

• Removes the use_uniformsolver field from the GenericSolver

Merged pull requests:

• remove use_uniformsolver parameter from GenericSolver (#70) (@IssaHanou)

v0.2.5

HerbConstraints v0.2.5

Diff since v0.2.4

Merged pull requests:

• Fix propagate on filled holes (#69) (@ReubenJ)

v0.2.4

HerbConstraints v0.2.4

Diff since v0.2.3

Merged pull requests:

• Update to HerbGrammar v0.5 (#68) (@ReubenJ)

Closed issues:

• 🎉 Hacktoberfest 2024 (#64)

v0.2.3

HerbConstraints v0.2.3

Diff since v0.2.2

Merged pull requests:

• Bump HerbGrammar -> v0.4.0 (#62) (@ReubenJ)

v0.2.2

HerbConstraints v0.2.2

Diff since v0.2.1

Merged pull requests:

• Resolve ambiguity in in(::StateStack, ::Any) method (#61) (@ReubenJ)

v0.2.1

HerbConstraints v0.2.1

Diff since v0.2.0

Bug Fixes

• Fixed a bug where ForbiddenSequence was not propagated correctly
• Fixed a bug where LocalForbiddenSequence is not deactivated when it should be
• Fixed bug where initial propagation attempts to fetch a node that is not in the dictionary of known nodes

Merged pull requests:

• DomainRuleNode in ContainsSubtree (#58) (@Whebon)
• Forbiddensequence bugfix (#59) (@Whebon)
• Bugfix release v0.2.1 (#60) (@ReubenJ)

Closed issues:

• Partition test depends on duplicate rules (#54)

v0.2.0

HerbConstraints v0.2.0

Diff since v0.1.1

Merged pull requests:

• Constraint propagation solver and new hole types (4 PRs) (#25) (@Whebon)
• FixedShapedSolver (#29) (@Whebon)
• Add code coverage reporting to CI.yml (#32) (@ReubenJ)
• Stochastic using solver (4 PRs) (#33) (@Whebon)
• Move iteration out of the UniformSolver (PR 1/2) (#34) (@Whebon)
• Solver using kwargs for max depth and max size (#35) (@nicolaefilat)
• Local ordered stronger inference (#36) (@Whebon)
• Add [compat] entry for DataStructures (#38) (@ReubenJ)
• Two new constraints (#47) (@Whebon)
• Contains Subtree Constraint (#53) (@Whebon)
• v0.3 (#55) (@ReubenJ)
• Hotfix version number (#56) (@ReubenJ)

Closed issues:

• Add unsafe direct tree manipulations (#27)

v0.1.1

HerbConstraints v0.1.1

Diff since v0.1.0

Merged pull requests:

• Update Grammar -> AbstractGrammar (#24) (@THinnerichs)

Closed issues:

• Add documentation for Condition constraint (#23)

v0.1.0

HerbConstraints v0.1.0

Closed issues:

• Add constraints that can be specific to RuleNodes (#7)

Merged pull requests:

• Add basic constraints (#1) (@jaapdejong15)
• Pass grammar to propagators (#2) (@jaapdejong15)
• Rename modules (#3) (@jaapdejong15)
• Fix bug in propagate function definitions of forbidden and ordered constraints (#4) (@jaapdejong15)
• Constraint for removing (sub)trees from search space (#5) (@jaapdejong15)
• Dev (#8) (@jaapdejong15)
• Local ordered bug (#11) (@jaapdejong15)
• Idm project 2705 (#13) (@THinnerichs)
• Add HerbCore dependency (#14) (@jaapdejong15)
• Added package with pipeline and tests (#15) (@nicolaefilat)
• Add documentation to HerbConstraint (#17) (@THinnerichs)
• Fix failing tests (#18) (@nicolaefilat)
• Removed nested .github folder (#19) (@nicolaefilat)
• Add changes on dev to master (#20) (@THinnerichs)