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.12 September 05, 2026 (26.5 KB)
- 0.0.11 September 03, 2026 (26.5 KB)
- 0.0.10 September 01, 2026 (26 KB)
- 0.0.9 August 10, 2026 (24.5 KB)
- 0.0.8 August 08, 2026 (24.5 KB)
Requirements
an SMT-solver. Z3 is recommended, it can be obtained from https://github.com/Z3Prover/z3
