ORA Canada

ORA Canada
Contact us
What's new?
Products and services
Reports and Collections
ORA Canada
Automated Deduction

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.

URL: http://www.oracanada.com/new.html
Revised: April 10, 2009