cl-banner

FORT


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

  • 26th June 2020: Fort-h released.
  • 19th April 2019: Version 2.1 released.
  • 20th August 2018: Version 2.0 corrected (bug in synthesis).
  • 29th January 2018: Version 2.0 released (correction on 7th March 2018)
  • 30th August 2016: Version 1.0 released (correction on 10th May 2017).
  • 29th June 2016: Version 0.2 released.
  • 28th April 2016: Version 0.1 released (correction on 18th June 2016).

Download

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

 

  • FORT 2.1
    executable JAR file
  • FORT 2.0
    executable JAR file
    the usage is explained in the description
  • FORT 1.0
    executable JAR file
    the usage is explained in the description
Database
Experiments
  • FORT 2.0 vs AGCP v0.03
  • FORT 2.0 vs CoLL 1.2
Publications
Contact

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

Nach oben scrollen