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.12

    1. source

      1. 0.0.12 source September 05, 2026 (26.5 KB)
  2. 0.0.11

    1. source

      1. 0.0.11 source September 03, 2026 (26.5 KB)
  3. 0.0.10

    1. source

      1. 0.0.10 source September 01, 2026 (26 KB)
  4. 0.0.9

    1. source

      1. 0.0.9 source August 10, 2026 (24.5 KB)
  5. 0.0.8

    1. source

      1. 0.0.8 source August 08, 2026 (24.5 KB)
Show all versions (12 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