Issues

• Support for MiniZinc models

  ptal/pcp#27 · Filter by author ptal opened on May 23, 2018
  4

• Avoid reinitialisation of the reactor and scheduler

  efficiencypropagator
  ptal/pcp#26 · Filter by author ptal opened on Jan 4, 2017

• Subtraction term

  term
  ptal/pcp#25 · Filter by author ptal opened on Dec 12, 2016

• Generic testing framework

  testing
  ptal/pcp#23 · Filter by author ptal opened on Aug 18, 2016

• Remove Iterable

  design
  ptal/pcp#21 · Filter by author ptal opened on Apr 6, 2016

• Recomputation of variable store

  state
  ptal/pcp#18 · Filter by author ptal opened on Feb 28, 2016

• Separate status and branches

  designdiscussionsearch
  ptal/pcp#13 · Filter by author ptal opened on Oct 6, 2015