Popular repositories Loading

1. Skeptik Skeptik Public

   Forked from Paradoxika/Skeptik

   A library for Proof Theory (especially Proof Compression) in Scala.

   Scala 2

2. RandomZ3 RandomZ3 Public

   little program generating random formulae in SMT2 format as well as in DIMACS. They are fed to the z3 SMT Solver and the output is printed

   Scala 1

3. MatrixCNF MatrixCNF Public

   This program will convert propositional formulae of a given JSON input format into an equisatisfiable conjunctive normal form. There are three different algorithms implemented to do the conversion.…

   Java

4. Proofenumerator Proofenumerator Public

   This program enumerates all proofs for an arbiatrary propositional logic calculus up to a specified proof length.

   Java

5. PerfectRef PerfectRef Public

   Project for Knowledge Representation and Ontologies. Implements the perfect reformulation algorithm for querying DL ontologies.

   Scala 1

6. Awesome-Time-Tabling Awesome-Time-Tabling Public

   Time Tabling using the QF_UFLIA logic and SMT solver Yices

   Java