cdcl-t

There are 2 repositories under cdcl-t topic.

  • c-cube/sidekick

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

    Language:SMT245915

  • itnef/smtx

    My first SMT solver (only QF_UF)

    Language:Haskell1200