Note: CORAL is currently used as one of the constraints solver within the symbolic execution engine of Java Pathfinder. You may want to try CORAL from JPF's symbc extension.