Fossil 2.1

New Features:

• Verifier only mode (dReal only)
• Learner only mode (via null verifier type)
• Consolidator now works fully when synthesising double certificates
• Refactoring and bug fixes
• Corrected some benchmarks

Fossil 2.0

Fossil Version 2.0 release.

Now supports control synthesis, significantly more certificates & custom certificates, and discrete time models for Lyapunov and barrier).

Supports command-line interface, install as python package.

Significant performance enhancements over Fossil 1.0