Zenon is work in progress. There is no documentation yet, but the source code is available.

Publications

Source Code

Zenon is available under the BSD 3-clause license.