Constraint Validation Python Packages

travshacl

A SHACL validator capable of planning the traversal and execution of the validation of a shape schema to detect violations early.

rta-constraint-intelligence

Ṛta — deterministic SDC constraint intelligence for block-level VLSI design. Validate, generate, lint, convert and analyze timing constraints before STA, with clock intelligence, coverage, conflict detection, readiness scoring, diff, MMC and CI gates. 1,200+ tests, 119 rules, fully offline — no LLM.

shaclapi

An API implementing optimizations over SHACL validators.

dtaifm

A deterministic gate for AI-proposed actions: the model suggests, your constraints decide, nothing executes unapproved.