ptal/pcp

Issues

• Support for MiniZinc models

  #27 opened 6 years ago by ptal
  4

• Simple example for integer domain constraint satisfaction?

  #31 opened a year ago by limjiayi
  1

• Cargo add fails

  #29 opened 2 years ago by alper
  3

• Documentation link in README.md is broken

  #28 opened 4 years ago by jgarvin
  1

• More solver tests and typical examples (8-queens, sudoku, ...)

  #3 opened 8 years ago by ptal
  0

• Implement non-naïve distinct propagator

  #7 opened 8 years ago by ptal
  1

• Improve view design for efficiency

  #10 opened 8 years ago by ptal
  1

• Avoid reinitialisation of the reactor and scheduler

  #26 opened 8 years ago by ptal
  0

• sum term

  #24 opened 8 years ago by ptal
  0

• Subtraction term

  #25 opened 8 years ago by ptal
  0

• Annotation of PCP variables

  #16 opened 8 years ago by ptal
  1

• Design rational for search distributor implementations

  #11 opened 8 years ago by ptal
  1

• Cumulative constraint

  #19 opened 8 years ago by ptal
  0

• Generic testing framework

  #23 opened 8 years ago by ptal
  0

• Update trait should not be used for memories

  #22 opened 8 years ago by ptal
  0

• Observer constraints (on entailment condition)

  #4 opened 8 years ago by ptal
  2

• Trailing-based variable store

  #17 opened 8 years ago by ptal
  1

• Remove Pruning variant from Status

  #12 opened 8 years ago by ptal
  0

• Generic state restoration of stores

  #20 opened 8 years ago by ptal
  0

• Remove `Iterable`

  #21 opened 8 years ago by ptal
  0

• Recomputation of variable store

  #18 opened 9 years ago by ptal
  0

• Parsing of constraints : tell! statement

  #14 opened 9 years ago by ptal
  0

• Parsing of constraints : declare! statement

  #15 opened 9 years ago by ptal
  0

• Modeling language using procedural macro.

  #6 opened 9 years ago by ptal
  1

• Separate status and branches

  #13 opened 9 years ago by ptal
  0

• Passing variable store instead of storing pointer to variables.

  #9 opened 9 years ago by ptal
  0

• Variable view

  #5 opened 9 years ago by ptal
  1

• Search Combinators

  #1 opened 9 years ago by ptal
  3

• Separate space labeling from propagator trait (`deep_clone`)

  #8 opened 9 years ago by ptal
  1

• FD propagators (!=, >=, <=, >, <, ==, +, -, *, ....)

  #2 opened 10 years ago by ptal
  0