Popular repositories Loading

1. RAHFT RAHFT Public

   RAHFT: A tool for verifying Horn clauses using abstract interpretation and finite tree automata

   Prolog 7 1

2. LHornSolver LHornSolver Public

   A linear Horn clause solver for non-linear Horn clauses.

   Prolog 6

3. PI-Horn PI-Horn Public

   Preconditions inferrer for Horn clauses

   Prolog 3 2

4. DFTA DFTA Public

   Determinisation and Completion of Finite Tree Automata

   Java 2 1

5. SoMoLIAInterpolant SoMoLIAInterpolant Public

   Interpolant generation for Modular LIA

   Java 1

6. chclibs chclibs Public

   Constrained Horn clause libraries

   Prolog 1