Skip to content

Issues: Herb-AI/HerbConstraints.jl

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

24 Open 6 Closed
24 Open 6 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Add Contains(tree) constraint
#67 opened Nov 13, 2024 by THinnerichs
We should check the semantics of Unique
#66 opened Nov 13, 2024 by THinnerichs
Consider extending AbstractTrees interface to *Holes enhancement New feature or request
#65 opened Oct 8, 2024 by ReubenJ
ForbiddenSequence for non-path sequences
#57 opened May 30, 2024 by Whebon
Cache the tree size in the GenericSolver
#52 opened May 6, 2024 by Whebon
Cache list of nodes in LocalForbiddenSequence
#51 opened May 6, 2024 by Whebon
Stronger inference for Contains
#50 opened May 6, 2024 by Whebon
[test_pattern_match_edgecases.jl] Add stronger HardFail inference for pattern_match on 3 or more VarNodes
#49 opened May 6, 2024 by Whebon
Leverage softfail information
#48 opened May 6, 2024 by Whebon
1
Wrapper for domains. (BitVector / StateSparseSet)
#46 opened May 4, 2024 by Whebon
Add infeasibility levels
#45 opened May 4, 2024 by Whebon
Rename constraints to "...Constraint"
#44 opened May 4, 2024 by Whebon
Rename isfeasible
#43 opened May 4, 2024 by Whebon
Split up LocalOrdered with an order of n symbols into n-1 pairwise LocalOrdered constraints
#42 opened May 4, 2024 by Whebon
Add the depthmap to the GenericSolver
#41 opened May 4, 2024 by Whebon
Remove notify_new_nodes for the UniformSolver
#40 opened May 4, 2024 by Whebon
Implement get_priority for a constraint schedule order
#39 opened May 4, 2024 by Whebon
Add DataStructures compat entry
#37 opened Apr 28, 2024 by THinnerichs
1
Review HerbConstraints merge properly
#30 opened Apr 4, 2024 by THinnerichs
@THinnerichs @pwochner
1
Add direct tree manipulations
#28 opened Mar 28, 2024 by Whebon
Implement rulenode2expr for StateFixedShapedHole
#26 opened Mar 19, 2024 by Whebon
@Whebon
Rewrite constraint system with approach from MiniCP
#16 opened Jun 30, 2023 by jaapdejong15
Start Ordered constraint propagation before all holes are filled enhancement New feature or request
#10 opened Jun 15, 2023 by jaapdejong15
2 tasks
Add a path datastructure to constraints
#6 opened Mar 9, 2023 by jaapdejong15
ProTip! Type g i on any issue or pull request to go back to the issue listing page.