Project
mbt-gen
DSL for modelling XML structure along with logic-based validation rules / constraints.
Supports SMT-solver based generation of sample valid XML documents.
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
Development
Licenses
GPL-3.0-only
Dependencies
Runtime
~> 1.18