constrained-horn-clauses

There are 0 repository under constrained-horn-clauses topic.

• caballa / ftclp

  FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation

  verificationconstrained-horn-clausesinterpolantclp
  Language:Prolog 2

• LongPham7 / Defunctionalization-of-monotone-problems

  Defunctionalization of monotone logic program safety problems

  haskelldefunctionalizationverificationconstrained-horn-clauses
  Language:Haskell 1

• hopv / rethfl

  ReTHFL: νHFL(Z) (aka higher-order CHC) solver based on refinement types

  constrained-horn-clausesprogram-verificationrefinement-types
  Language:OCaml