[Jcontractor-devel] JaQuaL alpha release available

[Parker A. <pa...@en...>]

The first build of JaQuaL, the Java Quantification Library, was released today.  
This library implements predicate logic quantifiers (ForAll, Exists, etc) in Java.  It 
can be used independently of jContractor.