Skip to content
#

theory-identification

Star

Here is 1 public repository matching this topic...

maxtuno / SATX

Sponsor
Star 6

SATX is a declarative framework for modeling, analysis, and synthesis using exact SAT and model counting (#SAT) under a unified semantic discipline. SATX treats satisfiability and model counting as coordinated operators, enabling existence checking, constructive synthesis, and structural analysis of solution spaces and theories.

formal-methods formal-verification knowledge-representation satisfiability model-counting symbolic-reasoning sharp-sat underdetermination theory-identification
  • Updated Jan 4, 2026
  • Python

Improve this page

Add a description, image, and links to the theory-identification 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 theory-identification topic, visit your repo's landing page and select "manage topics."

Learn more