... is a file format used by [tclchecker], which itself is part of the [Tcl Dev Kit].

<<categories>>Category Dev. Tools