<dependency>
<groupId>de.learnlib</groupId>
<artifactId>learnlib-property-oracles</artifactId>
<version>0.17.0</version>
</dependency>
@Grapes(
@Grab(group='de.learnlib', module='learnlib-property-oracles', version='0.17.0')
)
<parent> <groupId>de.learnlib</groupId> <artifactId>learnlib-oracles-parent</artifactId> <version>0.17.0</version> </parent>
compile
|-- de.learnlib.tooling:learnlib-annotation-processor
|-- net.automatalib:automata-api
|-- org.checkerframework:checker-qual
|-- de.learnlib.testsupport:learnlib-learning-examples
test
|-- de.learnlib:learnlib-emptiness-oracles
|-- de.learnlib:learnlib-equivalence-oracles
|-- de.learnlib:learnlib-membership-oracles
|-- net.automatalib:automata-core