Description

FORT is a decision and synthesis tool for the first-order theory of rewriting with respect to left-linear right-ground term rewrite systems.


News


Download

FORT 1.0 and 2.0 are available as executable JAR file. FORT 0.1 and 0.2 are available as statically linked precompiled binaries for Linux, MacOS, and Windows.

Experiments


Publications


Contact

For questions or feedback please contact Franziska Rapp or Aart Middeldorp.