[Jcontractor-devel] New jContractor subproject

[Stewart A. <dre...@um...>]

Just wanted to announce that a new jContractor subproject has been created.  We 
now have a simple API to support first order predicate logic (forall, exists, stuff like 
that).  The project is currently under code name JaQuaL (Java Quantification 
Library).  The library is independent of the rest of jContractor, and we will probably 
release a build in a week or two.

   Parker