cdcl-t

There are 0 repository under cdcl-t topic.

• c-cube / sidekick

  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.

  sat-solversmt-solverfunctorformal-methodsprovercdcl-tcongruence-closure
  Language:SMT 24

• itnef / smtx

  My first SMT solver (only QF_UF)

  learning-by-doingsmt-solverbackjumpingcnftseitin-transformationlogic-programmingsat-solversat-solvingsatisfiability-modulo-theorieslogical-reasoningdpllcdclcdcl-tcongruence-closureqf-ufdiy-smt
  Language:Haskell 1