TLAPS 1.0 (new release)

The TLAPS developers are pleased to announce a new release of TLAPS. This version features a new interface with SMT solvers (Z3, CVC3, Yices).

The TLAPS developers are pleased to announce the release of TLAPS version 1.0.25464.

This release includes a new interface with SMT solvers (Z3, CVC3, Yices).