|
From: Stewart A. <dre...@um...> - 2002-05-02 07:00:43
|
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 |