There are 0 repository under congruence-closure topic.
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
[wip] Modular SMT solver in rust
My first SMT solver (only QF_UF)