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

kmixter@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