Download org.sireum JAR files with all dependencies
logika-runtime_2.11 from group org.sireum (version 3.0.0-7)
logika-runtime
0 downloads
Artifact logika-runtime_2.11
Group org.sireum
Version 3.0.0-7
Last update 07. August 2016
Organization org.sireum
URL https://github.com/sireum/v3-logika-runtime/
License Simplified BSD License
Dependencies amount 4
Dependencies scala-library, apfloat, scala-reflect, spire_2.11,
There are maybe transitive dependencies!
Group org.sireum
Version 3.0.0-7
Last update 07. August 2016
Organization org.sireum
URL https://github.com/sireum/v3-logika-runtime/
License Simplified BSD License
Dependencies amount 4
Dependencies scala-library, apfloat, scala-reflect, spire_2.11,
There are maybe transitive dependencies!
Page 2 from 2 (items total 11)