Herb-AI / HerbConstraints.jl

Constraints for Herb.jl

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

Herb-AI/HerbConstraints.jl Issues

`ForbiddenSequence` for non-path sequences
Updated 2 months ago
Partition test depends on duplicate rules
Closed 3 months ago1
Cache the tree size in the GenericSolver
Updated 3 months ago
Cache list of nodes in `LocalForbiddenSequence`
Updated 3 months ago
Stronger inference for `Contains`
Updated 3 months ago
[test_pattern_match_edgecases.jl] Add stronger `HardFail` inference for `pattern_match` on 3 or more `VarNode`s
Updated 3 months ago
Leverage softfail information
Updated 3 months ago1
Wrapper for domains. (`BitVector` / `StateSparseSet`)
Updated 2 months ago
Add infeasibility levels
Updated 3 months ago
Rename constraints to "...Constraint"
Updated 3 months ago
Rename `isfeasible`
Updated 3 months ago
Split up `LocalOrdered` with an order of n symbols into n-1 pairwise `LocalOrdered` constraints
Updated 3 months ago
Add the depthmap to the GenericSolver
Updated 3 months ago
Remove `notify_new_nodes` for the `UniformSolver`
Updated 3 months ago
Implement `get_priority` for a constraint schedule order
Updated 3 months ago
Add `DataStructures` compat entry
Updated 3 months ago1
Review HerbConstraints merge properly
Updated 4 months ago1
Add direct tree manipulations
Updated 3 months ago
Add unsafe direct tree manipulations
Closed 4 months ago
Implement `rulenode2expr` for `StateFixedShapedHole`
Updated 4 months ago
Add documentation for Condition constraint
Closed 7 months ago1
TagBot trigger issue
Closed a year ago6
Rewrite constraint system with approach from MiniCP
Updated a year ago
Start Ordered constraint propagation before all holes are filled
Updated 5 months ago
Add constraints that can be specific to RuleNodes
Closed a year ago
Add a path datastructure to constraints
Updated a year ago