Modulesยง
- equiv
- Semantic equivalence checking for Trident functions.
- report
- Machine-readable JSON verification reports for LLM consumption and CI/CD.
- smt
- SMT-LIB2 encoder for Trident constraint systems.
- solve
- Algebraic solver and bounded model checker for Trident constraint systems.
- sym
- Symbolic execution engine for Trident programs.
- synthesize
- Automatic invariant synthesis for Trident programs.