build.gradle

/*
 * This file was generated by the Gradle 'init' task.
 *
 * This generated file contains a sample Java application project to get you started.
 * For more details take a look at the 'Building Java & JVM projects' chapter in the Gradle
 * User Manual available at https://docs.gradle.org/7.4.2/userguide/building_java_projects.html
 */

plugins {
    // Apply the application plugin to add support for building a CLI application in Java.
    id 'application'
}

repositories {
    // Use Maven Central for resolving dependencies.
    mavenCentral()
}

dependencies {
    // Use JUnit Jupiter for testing.
    testImplementation 'org.junit.jupiter:junit-jupiter:5.8.1'
    // Ecliple JUnit 5 support
    testImplementation 'org.junit.platform:junit-platform-launcher:1.9.3'

    // This dependency is used by the application.
    implementation 'com.google.guava:guava:30.1.1-jre'
    
    // working with CSV files
    // https://github.com/eugenp/tutorials/tree/master/libraries-apache-commons-io
    implementation 'org.apache.commons:commons-csv:1.9.0'
    
    // https://mvnrepository.com/artifact/com.microsoft.z3/java-jar
    implementation 'io.github.p-org.solvers:z3:4.8.14-v5'

    implementation 'org.json:json:20210307'

    // https://mvnrepository.com/artifact/com.fathzer/javaluator
    implementation 'com.fathzer:javaluator:3.0.3'
    

	implementation files('lib/org.alloytools.alloy.dist.jar')
}

run {
    standardInput = System.in
}

tasks.withType(JavaCompile) {
    options.encoding = 'UTF-8'
}

tasks.named('test') {
    // Use JUnit Platform for unit tests.
    useJUnitPlatform()
}

test {
    testLogging {
        events "failed"
        showStandardStreams = true
        exceptionFormat "full"
        showCauses false
        showExceptions true
        showStackTraces false
        showStandardStreams = false
    }
    reports.html.required = true 
}