Dagster - Parallel Structured Search for Boolean Satisfiability (SAT) problems
-
Updated
Sep 26, 2025 - HTML
#
sharp-sat
Here are 2 public repositories matching this topic...
SATX es un lenguaje formal y motor de decisión para el modelado, análisis y resolución de sistemas complejos bajo restricciones, especialmente aquellos caracterizados por conflictos estructurales entre objetivos, normas y actores, conocidos como Wicked Systems.
formal-methods formal-verification knowledge-representation satisfiability model-counting symbolic-reasoning sharp-sat underdetermination theory-identification
-
Updated
Jan 14, 2026 - Python
Improve this page
Add a description, image, and links to the sharp-sat topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sharp-sat topic, visit your repo's landing page and select "manage topics."