Zenon Arith

Home Members Software Seminars

What is Zenon Arith ?

Zenon Arith is an extension of the automated theorem prover for first-order logic Zenon, to handle linear arithmetic. See the README file for information.

Get Zenon Arith !

2015-05-19: zenon-arith_0.1.tar.gz