|
From: Parker A. <pa...@en...> - 2002-07-11 23:35:29
|
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. |