JARE - Java Automated Reasoning Engine

Jare is now OpenSource and can be downloaded from jare.sourceforge.net