[PPL-devel] PPL beats cddlib (on one of its toughest tests).

[Enea Zaffanella]

Enea Zaffanella wrote:
> I had a look to the manual and the examples and I found that the 
> (seemingly) toughest of the examples related to converting a constraint 
> system into a generator system is examples/sampleh8.ine.

Just to note that I discovered that bigger, maybe more difficult tests 
for cddlib can be found in directories examples-ine and examples-ext.

Enea.