model-generation topic

Eclipselink JPA Maven plugin, supporting static weaving, canonical model generation, and DDL generation.

ethlo

Model Forge is a library to automate model generation for automated testing

HelloCuriosity

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

nclarius