Download java-smt JAR 5.0.1-344-g47d864510 with all dependencies

Unified acccess layer to SMT solvers

Files of the artifact java-smt version 5.0.1-344-g47d864510 from the group org.sosy-lab.

Test

Artifact java-smt
Group org.sosy-lab
Version 5.0.1-344-g47d864510
Organization Software Systems Lab
URL https://github.com/sosy-lab/java-smt
License Apache License, Version 2.0
Dependencies amount 8
Dependencies common, guava, checker-qual, spotbugs-annotations, jsr305, smtinterpol, princess_2.13, animal-sniffer-annotations,
There are maybe transitive dependencies!

There is a newer version: 5.0.1-523-g9001c0ea4

Show newest version

Show more of this group Show more artifacts with this name
Show all versions of java-smt Show documentation

Please rate this JAR file. Is it a good library?

10 downloads

Source code of java-smt version 5.0.1-344-g47d864510

Please wait ...