Giters
ptal
/
pcp
Constraint programming in Rust
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
97
Watchers:
12
Issues:
30
Forks:
8
ptal/pcp Issues
Support for MiniZinc models
Updated
8 months ago
Comments count
4
Simple example for integer domain constraint satisfaction?
Closed
a year ago
Comments count
1
Cargo add fails
Closed
2 years ago
Comments count
3
Documentation link in README.md is broken
Closed
4 years ago
Comments count
1
More solver tests and typical examples (8-queens, sudoku, ...)
Closed
8 years ago
Implement non-naïve distinct propagator
Closed
8 years ago
Comments count
1
Improve view design for efficiency
Closed
8 years ago
Comments count
1
Avoid reinitialisation of the reactor and scheduler
Updated
8 years ago
sum term
Closed
8 years ago
Subtraction term
Updated
8 years ago
Annotation of PCP variables
Closed
8 years ago
Comments count
1
Design rational for search distributor implementations
Closed
8 years ago
Comments count
1
Cumulative constraint
Closed
8 years ago
Generic testing framework
Updated
8 years ago
Update trait should not be used for memories
Closed
8 years ago
Observer constraints (on entailment condition)
Closed
8 years ago
Comments count
2
Trailing-based variable store
Closed
8 years ago
Comments count
1
Remove Pruning variant from Status
Closed
8 years ago
Generic state restoration of stores
Closed
8 years ago
Remove `Iterable`
Updated
8 years ago
Recomputation of variable store
Updated
8 years ago
Parsing of constraints : tell! statement
Closed
9 years ago
Parsing of constraints : declare! statement
Closed
9 years ago
Modeling language using procedural macro.
Closed
9 years ago
Comments count
1
Separate status and branches
Updated
9 years ago
Passing variable store instead of storing pointer to variables.
Closed
9 years ago
Variable view
Closed
9 years ago
Comments count
1
Search Combinators
Closed
9 years ago
Comments count
3
Separate space labeling from propagator trait (`deep_clone`)
Closed
9 years ago
Comments count
1
FD propagators (!=, >=, <=, >, <, ==, +, -, *, ....)
Closed
9 years ago