Librería autocontenida de C++26 para aritmética de números complejos CBE (Complejo Binario Entrelazado) resolubles por SAT.
formal-methods formal-verification knowledge-representation satisfiability model-counting symbolic-reasoning sharp-sat underdetermination theory-identification
-
Updated
Aug 25, 2026 - C