Salvador Abreu / PaCCS

04 Jul, 2016

1 commit

  • eef94371   Update to PaCCS version 0.91 ... Browse File » 
    * Renamed _fd_* output functions to fd__* (meaning that they are
  intended to be private to the library) and put them in the new
  util.h file.

* Use fd__trace() and -DTRACE to produce tracing messages. fd__debug()
  is now reserved for real debugging output.

* Use fd_const() to create variables with singleton domains.

* New poly-le-k constraint.

* Include paccs.h where possible.

* Committed to INDEX_IN_POOL and CONSTRAINT_CLASS.

* Improved domain filtering for le, lt, poly-eq, poly-eq-k and
  var-eq-minus.

* Decoupled recording that a constraint is entailed from using
  CONSTRAINT_TEMPS. (Use -DDISABLE_ENTAILED to disable.)
    Vasco Pedro
     

18 Aug, 2015

1 commit

10 Jun, 2015

3 commits

21 Apr, 2015

1 commit