-
tarball for a satisfiability, falsifiability and validity checker
for propositional bi-intuitionistic tense logics written in Ocaml
that uses the Buddy BDD package
-
tarball for randomly generated formulae of intuitionistic logic.
File is 4311040 bytes long!
-
tarball for an optimised satisfiability, falsifiability and validity checker
for propositional bi-intuitionistic tense logics written in C++
that uses the Buddy BDD package
-
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.