Dirac Math Engine Demo Package
- Solver profile report
- Verification run output
- Distributed execution snapshot