mbt-gen 0.0.3

DSL for modelling XML structure along with logic-based validation rules / constraints. Supports SMT-solver based generation of sample valid XML documents.

Gemfile:
=

install:
=

Versions:

0.0.3 April 30, 2026 (22 KB)
0.0.2 April 26, 2026 (20 KB)
0.0.1 April 23, 2026 (21 KB)

Runtime Dependencies (1):

nokogiri ~> 1.18

Show all transitive dependencies

Requirements:

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

Owners:

Pushed by:

Authors:

FM-enthusiast

mbt-gen 0.0.3

Gemfile:
=

install:
=

Versions:

Runtime Dependencies (1):

Requirements:

Owners:

Pushed by:

Authors:

SHA 256 checksum:

Total downloads 441

For this version 128

Version Released:
April 30, 2026 8:19pm

License:
GPL-3.0-only

Required Ruby Version: >= 3.0.0

Links:

mbt-gen 0.0.3

Gemfile: =

install: =

Versions:

Runtime Dependencies (1):

Requirements:

Owners:

Pushed by:

Authors:

SHA 256 checksum:

Total downloads 441

For this version 128

Version Released: April 30, 2026 8:19pm

License: GPL-3.0-only

Required Ruby Version: >= 3.0.0

Links:

Gemfile:
=

install:
=

Version Released:
April 30, 2026 8:19pm

License:
GPL-3.0-only