Home » io.github » anatlyzer

Group: GitHub AnATLyzer
Sort by:Popular▼

1.AnATLyzer ATL Typing2 usages

io.github.anatlyzer » anatlyzer.atl.typing EPL

Type checker for ATL transformations
Last Release on Nov 22, 2025

2.AnATLyzer USE Witness1 usages

io.github.anatlyzer » anatlyzer.use.witness EPL

Model finding with USE Validator
Last Release on Nov 22, 2025

3.AnATLyzer ATL Standalone API

io.github.anatlyzer » anatlyzer.atl.standalone.api EPL

Standalone API for programmatic usage of AnATLyzer
Last Release on Nov 22, 2025