| License | 
                License | 
        
|---|---|
| Categories | 
                CategoriesKeY Data Data Formats Formal Verification | 
        
| GroupId | GroupIdio.github.typemonkey | 
    
| ArtifactId | ArtifactIdaquifer | 
    
| Last Version | Last Version1.0.0 | 
        
| Release Date | Release Date | 
        
| Type | Typejar | 
    
| Description | 
            DescriptionAquifer 
            A Java library that generates GUIs for terminal-based applications 
         | 
    
| Project URL | 
                    Project URL | 
            
| Source Code Management | 
                    Source Code Management | 
            
| Filename | Size | 
|---|---|
| aquifer-1.0.0.pom | |
| aquifer-1.0.0.jar | 38 KB | 
| aquifer-1.0.0-sources.jar | 19 KB | 
| aquifer-1.0.0-javadoc.jar | 127 KB | 
| Browse | 
<!-- https://jarcasting.com/artifacts/io.github.typemonkey/aquifer/ -->
<dependency>
    <groupId>io.github.typemonkey</groupId>
    <artifactId>aquifer</artifactId>
    <version>1.0.0</version>
</dependency>
                // https://jarcasting.com/artifacts/io.github.typemonkey/aquifer/
implementation 'io.github.typemonkey:aquifer:1.0.0'
                // https://jarcasting.com/artifacts/io.github.typemonkey/aquifer/
implementation ("io.github.typemonkey:aquifer:1.0.0")
                'io.github.typemonkey:aquifer:jar:1.0.0'
                <dependency org="io.github.typemonkey" name="aquifer" rev="1.0.0">
  <artifact name="aquifer" type="jar" />
</dependency>
                @Grapes(
@Grab(group='io.github.typemonkey', module='aquifer', version='1.0.0')
)
                libraryDependencies += "io.github.typemonkey" % "aquifer" % "1.0.0"
                [io.github.typemonkey/aquifer "1.0.0"]