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
Requirements
an SMT-solver. Z3 is recommended, it can be obtained from https://github.com/Z3Prover/z3
