congruence-closure

There are 0 repository under congruence-closure 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

• imandra-ai / batsmt

  [wip] Modular SMT solver in rust

  smtcdclcongruence-closurerust
  Language:SMT 10

• 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