z3-smt-solver
A hyperintensional theorem prover for rapidly prototyping modular semantic theories
🏛️ Deterministic rejection layer for computational legal claims. Verifies dates, amounts, and structured constraints; blocks unproven legal outputs.
Micro-SVM: A simple symbolic VM in Python and Z3
