Front-end
Back-end
Maven Repository : org.scala-sbt : logic_2.12
Logic 1.9.9
org.scala-sbt
logic_2.12
1.9.9
Logic 1.9.8
org.scala-sbt
logic_2.12
1.9.8
Logic 1.9.7
org.scala-sbt
logic_2.12
1.9.7
Logic 1.9.6
org.scala-sbt
logic_2.12
1.9.6
Logic 1.9.5
org.scala-sbt
logic_2.12
1.9.5
Logic 1.9.4
org.scala-sbt
logic_2.12
1.9.4
Logic 1.9.3
org.scala-sbt
logic_2.12
1.9.3
Logic 1.9.2
org.scala-sbt
logic_2.12
1.9.2
Logic 1.9.1
org.scala-sbt
logic_2.12
1.9.1
Logic 1.9.0-RC3
org.scala-sbt
logic_2.12
1.9.0-RC3
Logic 1.9.0-RC2
org.scala-sbt
logic_2.12
1.9.0-RC2
Logic 1.9.0-RC1
org.scala-sbt
logic_2.12
1.9.0-RC1
Logic 1.9.0-M1
org.scala-sbt
logic_2.12
1.9.0-M1
Logic 1.9.0
org.scala-sbt
logic_2.12
1.9.0
Logic 1.8.3
org.scala-sbt
logic_2.12
1.8.3
Logic 1.8.2
org.scala-sbt
logic_2.12
1.8.2
Logic 1.8.1
org.scala-sbt
logic_2.12
1.8.1
Logic 1.8.0-RC1
org.scala-sbt
logic_2.12
1.8.0-RC1
Logic 1.8.0
org.scala-sbt
logic_2.12
1.8.0
Logic 1.7.3
org.scala-sbt
logic_2.12
1.7.3
Logic 1.7.2
org.scala-sbt
logic_2.12
1.7.2
Logic 1.7.1
org.scala-sbt
logic_2.12
1.7.1
Logic 1.7.0-RC2
org.scala-sbt
logic_2.12
1.7.0-RC2
Logic 1.7.0-RC1
org.scala-sbt
logic_2.12
1.7.0-RC1
Logic 1.7.0-M3
org.scala-sbt
logic_2.12
1.7.0-M3
Logic 1.7.0-M2-6810fix
org.scala-sbt
logic_2.12
1.7.0-M2-6810fix
Logic 1.7.0-M2
org.scala-sbt
logic_2.12
1.7.0-M2
Logic 1.7.0-M1
org.scala-sbt
logic_2.12
1.7.0-M1
Logic 1.7.0
org.scala-sbt
logic_2.12
1.7.0
Logic 1.6.2
org.scala-sbt
logic_2.12
1.6.2
Logic 1.6.1
org.scala-sbt
logic_2.12
1.6.1
Logic 1.6.0-RC2
org.scala-sbt
logic_2.12
1.6.0-RC2
Logic 1.6.0-RC1
org.scala-sbt
logic_2.12
1.6.0-RC1
Logic 1.6.0-M1
org.scala-sbt
logic_2.12
1.6.0-M1
Logic 1.6.0
org.scala-sbt
logic_2.12
1.6.0
Logic 1.5.8
org.scala-sbt
logic_2.12
1.5.8
Logic 1.5.7
org.scala-sbt
logic_2.12
1.5.7
Logic 1.5.6
org.scala-sbt
logic_2.12
1.5.6
Logic 1.5.5
org.scala-sbt
logic_2.12
1.5.5
Logic 1.5.4
org.scala-sbt
logic_2.12
1.5.4
Logic 1.5.3
org.scala-sbt
logic_2.12
1.5.3
Logic 1.5.2
org.scala-sbt
logic_2.12
1.5.2
Logic 1.5.1
org.scala-sbt
logic_2.12
1.5.1
Logic 1.5.0-RC2
org.scala-sbt
logic_2.12
1.5.0-RC2
Logic 1.5.0-RC1
org.scala-sbt
logic_2.12
1.5.0-RC1
Logic 1.5.0-M2
org.scala-sbt
logic_2.12
1.5.0-M2
Logic 1.5.0-M1
org.scala-sbt
logic_2.12
1.5.0-M1
Logic 1.5.0
org.scala-sbt
logic_2.12
1.5.0
Logic 1.4.9
org.scala-sbt
logic_2.12
1.4.9
Logic 1.4.8
org.scala-sbt
logic_2.12
1.4.8
Logic 1.4.7
org.scala-sbt
logic_2.12
1.4.7
Logic 1.4.6
org.scala-sbt
logic_2.12
1.4.6
Logic 1.4.5
org.scala-sbt
logic_2.12
1.4.5
Logic 1.4.4
org.scala-sbt
logic_2.12
1.4.4
Logic 1.4.3
org.scala-sbt
logic_2.12
1.4.3
Logic 1.4.2
org.scala-sbt
logic_2.12
1.4.2
Logic 1.4.1
org.scala-sbt
logic_2.12
1.4.1
Logic 1.4.0-RC2
org.scala-sbt
logic_2.12
1.4.0-RC2
Logic 1.4.0-RC1
org.scala-sbt
logic_2.12
1.4.0-RC1
Logic 1.4.0-M2
org.scala-sbt
logic_2.12
1.4.0-M2
Logic 1.4.0-M1
org.scala-sbt
logic_2.12
1.4.0-M1
Logic 1.4.0
org.scala-sbt
logic_2.12
1.4.0
Logic 1.3.9
org.scala-sbt
logic_2.12
1.3.9
Logic 1.3.8
org.scala-sbt
logic_2.12
1.3.8
Logic 1.3.7
org.scala-sbt
logic_2.12
1.3.7
Logic 1.3.6
org.scala-sbt
logic_2.12
1.3.6
Logic 1.3.5
org.scala-sbt
logic_2.12
1.3.5
Logic 1.3.4
org.scala-sbt
logic_2.12
1.3.4
Logic 1.3.3
org.scala-sbt
logic_2.12
1.3.3
Logic 1.3.2
org.scala-sbt
logic_2.12
1.3.2
Logic 1.3.13
org.scala-sbt
logic_2.12
1.3.13
Logic 1.3.12
org.scala-sbt
logic_2.12
1.3.12
Logic 1.3.11
org.scala-sbt
logic_2.12
1.3.11
Logic 1.3.10
org.scala-sbt
logic_2.12
1.3.10
Logic 1.3.1
org.scala-sbt
logic_2.12
1.3.1
Logic 1.3.0-RC5
org.scala-sbt
logic_2.12
1.3.0-RC5
Logic 1.3.0-RC4
org.scala-sbt
logic_2.12
1.3.0-RC4
Logic 1.3.0-RC3
org.scala-sbt
logic_2.12
1.3.0-RC3
Logic 1.3.0-RC2
org.scala-sbt
logic_2.12
1.3.0-RC2
Logic 1.3.0-RC1
org.scala-sbt
logic_2.12
1.3.0-RC1
Logic 1.3.0-M5-94d5ec
org.scala-sbt
logic_2.12
1.3.0-M5-94d5ec
Logic 1.3.0-M5
org.scala-sbt
logic_2.12
1.3.0-M5
Logic 1.3.0-M4
org.scala-sbt
logic_2.12
1.3.0-M4
Logic 1.3.0-M3
org.scala-sbt
logic_2.12
1.3.0-M3
Logic 1.3.0-M2
org.scala-sbt
logic_2.12
1.3.0-M2
Logic 1.3.0-M1
org.scala-sbt
logic_2.12
1.3.0-M1
Logic 1.3.0
org.scala-sbt
logic_2.12
1.3.0
Logic 1.2.8
org.scala-sbt
logic_2.12
1.2.8
Logic 1.2.7
org.scala-sbt
logic_2.12
1.2.7
Logic 1.2.6
org.scala-sbt
logic_2.12
1.2.6
Logic 1.2.5
org.scala-sbt
logic_2.12
1.2.5
Logic 1.2.4
org.scala-sbt
logic_2.12
1.2.4
Logic 1.2.3
org.scala-sbt
logic_2.12
1.2.3
Logic 1.2.2
org.scala-sbt
logic_2.12
1.2.2
Logic 1.2.1
org.scala-sbt
logic_2.12
1.2.1
Logic 1.2.0-RC3
org.scala-sbt
logic_2.12
1.2.0-RC3
Logic 1.2.0-RC2
org.scala-sbt
logic_2.12
1.2.0-RC2
Logic 1.2.0-RC1
org.scala-sbt
logic_2.12
1.2.0-RC1
Logic 1.2.0-M1
org.scala-sbt
logic_2.12
1.2.0-M1
Logic 1.2.0
org.scala-sbt
logic_2.12
1.2.0
1
2