| License | License | 
|---|---|
| Categories | CategoriesData KeY Data Formats Formal Verification | 
| GroupId | GroupIdorg.mazarineblue | 
| ArtifactId | ArtifactIdMazarineBlue-DataSources-keywords | 
| Last Version | Last Version0.1.0 | 
| Release Date | Release Date | 
| Type | Typejar | 
| Description | DescriptionMazarineBlue - DataSources-keywords module The DataSources-keywords module contains the library allowing for data
        extraction. This module is a front for the DataSources module that does
        the actual work. | 
<!-- https://jarcasting.com/artifacts/org.mazarineblue/MazarineBlue-DataSources-keywords/ -->
<dependency>
    <groupId>org.mazarineblue</groupId>
    <artifactId>MazarineBlue-DataSources-keywords</artifactId>
    <version>0.1.0</version>
</dependency>// https://jarcasting.com/artifacts/org.mazarineblue/MazarineBlue-DataSources-keywords/
implementation 'org.mazarineblue:MazarineBlue-DataSources-keywords:0.1.0'// https://jarcasting.com/artifacts/org.mazarineblue/MazarineBlue-DataSources-keywords/
implementation ("org.mazarineblue:MazarineBlue-DataSources-keywords:0.1.0")'org.mazarineblue:MazarineBlue-DataSources-keywords:jar:0.1.0'<dependency org="org.mazarineblue" name="MazarineBlue-DataSources-keywords" rev="0.1.0">
  <artifact name="MazarineBlue-DataSources-keywords" type="jar" />
</dependency>@Grapes(
@Grab(group='org.mazarineblue', module='MazarineBlue-DataSources-keywords', version='0.1.0')
)libraryDependencies += "org.mazarineblue" % "MazarineBlue-DataSources-keywords" % "0.1.0"[org.mazarineblue/MazarineBlue-DataSources-keywords "0.1.0"]| Group / Artifact | Type | Version | 
|---|---|---|
| org.mazarineblue : MazarineBlue-DataSources | jar | 0.1.0 | 
| org.mazarineblue : MazarineBlue-KeywordDriven | jar | 0.1.0 | 
| Group / Artifact | Type | Version | 
|---|---|---|
| junit : junit | jar | 4.12 |