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

  1. 0.0.14.3

    1. source

      1. 0.0.14.3 source November 06, 2026 (27 KB)
  2. 0.0.14.2

    1. source

      1. 0.0.14.2 source November 05, 2026 (27 KB)
  3. 0.0.14.1

    1. source

      1. 0.0.14.1 source November 05, 2026 (27 KB)
  4. 0.0.14

    1. source

      1. 0.0.14 source November 05, 2026 (26.5 KB)
  5. 0.0.13.1

    1. source

      1. 0.0.13.1 source November 05, 2026 (26.5 KB)
Show all versions (18 total)

Requirements

an SMT-solver. Z3 is recommended, it can be obtained from https://github.com/Z3Prover/z3

Pushed by

FM-enthusiast

SHA 256 checksum

← Previous version