org.key-project : key.core.symbolic_execution

<!-- https://mavenlibs.com/maven/dependency/org.key-project/key.core.symbolic_execution --><dependency>
    <groupId>org.key-project</groupId>
    <artifactId>key.core.symbolic_execution</artifactId>
    <version>2.12.0</version>
</dependency>

// https://mavenlibs.com/maven/dependency/org.key-project/key.core.symbolic_executionimplementation group: 'org.key-project', name: 'key.core.symbolic_execution', version: '2.12.0'

// https://mavenlibs.com/maven/dependency/org.key-project/key.core.symbolic_executionimplementation 'org.key-project:key.core.symbolic_execution:2.12.0'

// https://mavenlibs.com/maven/dependency/org.key-project/key.core.symbolic_executionimplementation("org.key-project:key.core.symbolic_execution:2.12.0")

// https://mavenlibs.com/maven/dependency/org.key-project/key.core.symbolic_executionlibraryDependencies += "org.key-project" % "key.core.symbolic_execution" % "2.12.0"

<!-- https://mavenlibs.com/maven/dependency/org.key-project/key.core.symbolic_execution --><dependency org="org.key-project" name="key.core.symbolic_execution" rev="2.12.0"/>

// https://mavenlibs.com/maven/dependency/org.key-project/key.core.symbolic_execution@Grapes(
    @Grab(group='org.key-project', module='key.core.symbolic_execution', version='2.12.0')
)

;; https://mavenlibs.com/maven/dependency/org.key-project/key.core.symbolic_execution[org.key-project/key.core.symbolic_execution "2.12.0"]

# https://mavenlibs.com/maven/dependency/org.key-project/key.core.symbolic_execution'org.key-project:key.core.symbolic_execution:jar:2.12.0'