1. tarball for a satisfiability, falsifiability and validity checker for propositional bi-intuitionistic tense logics written in Ocaml that uses the Buddy BDD package
  2. tarball for randomly generated formulae of intuitionistic logic. File is 4311040 bytes long!
  3. tarball for an optimised satisfiability, falsifiability and validity checker for propositional bi-intuitionistic tense logics written in C++ that uses the Buddy BDD package
  4. tarball for an optimised satisfiability, falsifiability and validity checker for propositional bi-intuitionistic tense logics written in C++ that uses the Buddy BDD package. This version also contains options to extract sequent proofs.