Skip to content
#

decision-procedures

Star

Here is 1 public repository matching this topic...

djacoo / equality-lists-arrays-solver

Star 0

Production-ready decision procedure solver implementing congruence closure for satisfiability checking in the union of first-order theories (Equality, Lists, Arrays). Based on Bradley & Manna algorithms with 571 passing tests.

java lists equality arrays smt-solver formal-verification automated-reasoning satisfiability congruence-closure theory-solver decision-procedures bradley-manna university-verona
  • Updated Jan 5, 2026
  • Java

Improve this page

Add a description, image, and links to the decision-procedures topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the decision-procedures topic, visit your repo's landing page and select "manage topics."

Learn more