| Categories | CategoriesKeY Data Data Formats Formal Verification | 
|---|---|
| GroupId | GroupIdcom.thoughtworks.dsl | 
| ArtifactId | ArtifactIdkeywords-yield_sjs1_3 | 
| Version | Version2.0.0-M2+227-d0a7a24e | 
| Type | Typejar | 
<!-- https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-yield_sjs1_3/ -->
<dependency>
    <groupId>com.thoughtworks.dsl</groupId>
    <artifactId>keywords-yield_sjs1_3</artifactId>
    <version>2.0.0-M2+227-d0a7a24e</version>
</dependency>// https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-yield_sjs1_3/
implementation 'com.thoughtworks.dsl:keywords-yield_sjs1_3:2.0.0-M2+227-d0a7a24e'// https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-yield_sjs1_3/
implementation ("com.thoughtworks.dsl:keywords-yield_sjs1_3:2.0.0-M2+227-d0a7a24e")'com.thoughtworks.dsl:keywords-yield_sjs1_3:jar:2.0.0-M2+227-d0a7a24e'<dependency org="com.thoughtworks.dsl" name="keywords-yield_sjs1_3" rev="2.0.0-M2+227-d0a7a24e">
  <artifact name="keywords-yield_sjs1_3" type="jar" />
</dependency>@Grapes(
@Grab(group='com.thoughtworks.dsl', module='keywords-yield_sjs1_3', version='2.0.0-M2+227-d0a7a24e')
)libraryDependencies += "com.thoughtworks.dsl" % "keywords-yield_sjs1_3" % "2.0.0-M2+227-d0a7a24e"[com.thoughtworks.dsl/keywords-yield_sjs1_3 "2.0.0-M2+227-d0a7a24e"]