DSL for modelling XML structure along with logic-based validation rules / constraints. Supports SMT-solver based generation of sample valid XML documents.
Required Ruby Version
>= 3.0.0
Authors
FM-enthusiast
Versions
- 0.0.8 August 08, 2026 (24.5 KB)
- 0.0.7 July 31, 2026 (24 KB)
- 0.0.6 July 31, 2026 (24 KB)
- 0.0.5 July 28, 2026 (24 KB)
- 0.0.4 June 18, 2026 (23.5 KB)
Requirements
an SMT-solver. Z3 is recommended, it can be obtained from https://github.com/Z3Prover/z3
