MavenLibs
Search
Home
Maven
Group
ch.epfl.lara
Group: ch.epfl.lara - All Dependencies
inox_2.12
1.1.0-343-gdc719cc
@ch.epfl.lara
inox · inox
Feb 18, 2020
85 stars
inox_2.11
1.1.0-343-gdc719cc
@ch.epfl.lara
inox · inox
Feb 18, 2020
85 stars
cafebabe_2.12
1.2
@ch.epfl.lara
Cafebabe · Cafebabe
Aug 17, 2017
66 stars
cafebabe_2.11
1.2
@ch.epfl.lara
Cafebabe · Cafebabe
Aug 17, 2017
66 stars
cafebabe_2.10
1.2
@ch.epfl.lara
Cafebabe · Cafebabe
Aug 17, 2017
66 stars
stringsolver_2.10
1.1
@ch.epfl.lara
StringSolver · StringSolver
Aug 25, 2014
23 stars
Advertisement
Top Dependency Usages
junit
@junit
Feb 13, 2021
95.1k usages
8.4k stars
scala-library
@org.scala-lang
Jun 02, 2023
69.4k usages
14.2k stars
slf4j-api
@org.slf4j
Mar 17, 2023
51k usages
2.1k stars
guava
@com.google.guava
Jul 31, 2023
27.1k usages
49k stars
logback-classic
@ch.qos.logback
Aug 09, 2023
25k usages
2.7k stars
More Dependencies ❯