Popular repositories Loading

1. LHornSolver LHornSolver Public

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

   Prolog 6

2. RAHFT RAHFT Public

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

   Prolog 6 1

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. chclibs chclibs Public

   Constrained Horn clause libraries

   Prolog 1 1

6. SoMoLIAInterpolant SoMoLIAInterpolant Public

   Interpolant generation for Modular LIA

   Java 1