Usage

TcT can be used without installation from our web interface. Besides, TcT offers a command line or interactive interface.

command line interface

In its most simple form, TcT is invoked from the command line by typing
   tct [options] <filename>
See tct --help for options. The argument <filename> specifies the input problem, either in TPDB format or in the xml-based format. Examples are available in the directory examples in the software distribution, or the current TPDB.

interactive interface

TcT also offers an interactive interface, which is started by typing
   tct -i
The interface is based on the interpreter from Glasgow Haskell Compiler project and requires the executable ghci in you $PATH.

Documentation

• usage
  • command line interface
  • interactive interface
  • configuration
  • example configuration
• processors
  • overview
  • constructors

Alternatively you can browse the complete source code documentation.