1. tarball for a one pass tree-tableau satisfiability checker for computational tree logic.
  2. tarball for a graph-tableau multipass satisfiability checker for computational tree logic.
  3. tarball for a BDD-based satisfiability and validity checker for computational tree logic.