What's New?

ORA Canada has been inactive since 2005.

Unfortunately, we are unable to distribute EVES or Z/EVES any longer, because we do not own the intellectual property in EVES and no longer have rights to it. However, Mark Saaltink has been working on connecting the Z part of Z/EVES to a new prover. This should be released very soon (in Spring 2009). While the new system is not as powerful, it is a start, and the eventual hope is to make it all open source, so that interested users can improve it.