A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
-
Updated
Dec 28, 2023 - SMT
#
congruence-closure
Here are 4 public repositories matching this topic...
My first SMT solver (only QF_UF)
satisfiability-modulo-theories logic-programming cnf learning-by-doing sat-solver smt-solver dpll tseitin-transformation cdcl logical-reasoning congruence-closure backjumping cdcl-t sat-solving qf-uf diy-smt
-
Updated
Jul 8, 2020 - Haskell
This project is focused on implementing and visualizing the Congruence Closure (CC) Algorithm in a step-by-step manner . The primary objective is to develop an interactive and educational tool that simplifies understanding of the algorithm’s mechanics.
-
Updated
Dec 23, 2024 - Python
Improve this page
Add a description, image, and links to the congruence-closure topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the congruence-closure topic, visit your repo's landing page and select "manage topics."