issues
search
Herb-AI
/
HerbConstraints.jl
Constraints for Herb.jl
https://herb-ai.github.io/
MIT License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Forbiddensequence bugfix
#59
Whebon
opened
5 days ago
1
DomainRuleNode in ContainsSubtree
#58
Whebon
opened
3 weeks ago
1
`ForbiddenSequence` for non-path sequences
#57
Whebon
opened
1 month ago
0
Hotfix version number
#56
ReubenJ
closed
1 month ago
0
v0.3
#55
ReubenJ
closed
1 month ago
2
Partition test depends on duplicate rules
#54
ReubenJ
closed
1 month ago
1
Contains Subtree Constraint
#53
Whebon
closed
1 month ago
0
Cache the tree size in the GenericSolver
#52
Whebon
opened
1 month ago
0
Cache list of nodes in `LocalForbiddenSequence`
#51
Whebon
opened
1 month ago
0
Stronger inference for `Contains`
#50
Whebon
opened
1 month ago
0
[test_pattern_match_edgecases.jl] Add stronger `HardFail` inference for `pattern_match` on 3 or more `VarNode`s
#49
Whebon
opened
1 month ago
0
Leverage softfail information
#48
Whebon
opened
1 month ago
1
Two new constraints
#47
Whebon
closed
1 month ago
1
Wrapper for domains. (`BitVector` / `StateSparseSet`)
#46
Whebon
opened
1 month ago
0
Add infeasibility levels
#45
Whebon
opened
1 month ago
0
Rename constraints to "...Constraint"
#44
Whebon
opened
1 month ago
0
Rename `isfeasible`
#43
Whebon
opened
1 month ago
0
Split up `LocalOrdered` with an order of n symbols into n-1 pairwise `LocalOrdered` constraints
#42
Whebon
opened
1 month ago
0
Add the depthmap to the GenericSolver
#41
Whebon
opened
1 month ago
0
Remove `notify_new_nodes` for the `UniformSolver`
#40
Whebon
opened
1 month ago
0
Implement `get_priority` for a constraint schedule order
#39
Whebon
opened
1 month ago
0
Add `[compat]` entry for `DataStructures`
#38
ReubenJ
closed
1 month ago
0
Add `DataStructures` compat entry
#37
THinnerichs
opened
2 months ago
1
Local ordered stronger inference
#36
Whebon
closed
2 months ago
0
Solver using kwargs for max depth and max size
#35
nicolaefilat
closed
2 months ago
0
Move iteration out of the UniformSolver (PR 1/2)
#34
Whebon
closed
2 months ago
1
Stochastic using solver (4 PRs)
#33
Whebon
closed
2 months ago
5
Add code coverage reporting to CI.yml
#32
ReubenJ
closed
2 months ago
1
Add code coverage
#31
ReubenJ
closed
2 months ago
2
Review HerbConstraints merge properly
#30
THinnerichs
opened
2 months ago
1
FixedShapedSolver
#29
Whebon
closed
2 months ago
2
Add direct tree manipulations
#28
Whebon
opened
3 months ago
0
Add unsafe direct tree manipulations
#27
Whebon
closed
3 months ago
0
Implement `rulenode2expr` for `StateFixedShapedHole`
#26
Whebon
opened
3 months ago
0
Constraint propagation solver and new hole types (4 PRs)
#25
Whebon
closed
3 months ago
0
Update `Grammar` -> `AbstractGrammar`
#24
THinnerichs
closed
4 months ago
0
Add documentation for Condition constraint
#23
THinnerichs
closed
5 months ago
1
TagBot trigger issue
#22
JuliaTagBot
closed
10 months ago
4
Add documentation for Condition and LocalCondition constraints
#21
jaapdejong15
closed
10 months ago
0
Add changes on dev to master
#20
THinnerichs
closed
10 months ago
0
Removed nested .github folder
#19
nicolaefilat
closed
10 months ago
0
Fix failing tests
#18
nicolaefilat
closed
10 months ago
0
Add documentation to HerbConstraint
#17
THinnerichs
closed
10 months ago
0
Rewrite constraint system with approach from MiniCP
#16
jaapdejong15
opened
1 year ago
0
Added package with pipeline and tests
#15
nicolaefilat
closed
10 months ago
0
Add HerbCore dependency
#14
jaapdejong15
closed
1 year ago
0
Idm project 2705
#13
THinnerichs
closed
1 year ago
1
Idm project 2705
#12
THinnerichs
closed
1 year ago
0
Local ordered bug
#11
jaapdejong15
closed
1 year ago
0
Start Ordered constraint propagation before all holes are filled
#10
jaapdejong15
opened
1 year ago
0
Next