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 typingtct [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 typingtct -i
The interface is based on the interpreter from Glasgow Haskell Compiler project and requires the executable
ghci
in you $PATH
.
Documentation
- usage
- processors