[PPL-devel] Re: minimized_constraints() problem in 0.4.2

[Roberto Bagnara]

kmixter at longshot.com wrote:
> Thank you for the quick response!  I integrated the new version 0.5pre8
> which drastically improves what I can demo.  

Hi Ken,

that is great news!
When will we be able to play with your system?
We have some ongoing work that could greatly benefit
from experimentation with another application,
and the Action Language Verifier is a very promising
candidate for that purpose.
Cheers

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it