This page contains a list of packages created during the development of TCT.

• qlogic:
  This library provides facilities for dealing with propositional logic. Notably it defines an interface to SAT-solvers, including routines to efficiently translate Boolean formulas to conjunctive normal form. Also it features support for theories over natural numbers and integers, implemented by \emph{bit-blasting}.
• termlib:
  A Haskell library for term rewriting. This library is deprecated, try the haskell-rewriting instead.
• parfold:
  This small library provides folding capabilities over lists of concurrently evaluated monad actions, a simple but convenient abstraction to concurrent programming.