Skip to content

STTF v1.0 - Initial Release

Latest
Latest

Choose a tag to compare

View all tags
@Byt-wyze-technology Byt-wyze-technology released this 21 Nov 22:52
v1.0.0
515644c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

STTF v1.0 — Initial Release

First stable release of the SAT Transformation Trace Format.

What's Included

  • ✅ Complete STTF v1.0 specification
  • ✅ Python reference implementation
  • ✅ CLI validation tool
  • ✅ Model lifting engine
  • ✅ Replay engine
  • ✅ 22 passing tests
  • ✅ Example bundles

Quick Start

git clone https://github.com/Byt-wyze-technology/sttf.git
cd sttf
python demo.py

See README.md for full documentation.

Assets 2
Loading