Translation utilities for mapping abstract hypothesis symbols to concrete SUL symbols
Version0.16.0compared with

Version Details

Compile Changes (4)

0.15.0 0.16.0
ChangeGroup / ArtifactPreviousCurrent
+ Added org.checkerframework » checker-qual-3.7.0
~ Updated de.learnlib » learnlib-api0.15.00.16.0
~ Updated net.automatalib » automata-api0.9.00.10.0
~ Updated net.automatalib » automata-core0.9.00.10.0