Salvador Abreu / PaCCS

04 Jul, 2016

1 commit

  • eef94371   Update to PaCCS version 0.91 ... Browse Code » 
    * 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
     

13 Apr, 2016

1 commit

18 Aug, 2015

4 commits

31 Jul, 2015

2 commits

27 Jul, 2015

2 commits

22 Jul, 2015

7 commits

15 Jul, 2015

6 commits

14 Jul, 2015

4 commits

10 Jul, 2015

1 commit

09 Jul, 2015

5 commits

07 Jul, 2015

1 commit

06 Jul, 2015

1 commit

03 Jul, 2015

3 commits

02 Jul, 2015

2 commits