Compile Dependencies (7)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Parser Generator
MIT
|  | com.lihaoyi
»
fastparse_2.13 FastParse is a Scala library for parsing strings and bytes into structured data. This lets you easily write a parser for ... | 3.0.2 | 3.1.1 |
BSD
|  | dk.brics.automaton
»
automaton This package contains a full DFA/NFA implementation with Unicode | 1.11-8 | 1.12-4 |
BSD 3-clause
|  | io.github.uuverifiers
»
ostrich-ecma2020-parser_2.13 OSTRICH is an SMT solver for string constraints. | 2.1 | ✔ |
BSD 3-clause
| | io.github.uuverifiers
»
princess_2.13 Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other ... | 2026-05-20 | ✔ |
EPL 1.0 +1
|  | org.sat4j
»
org.sat4j.core The core library contains a flexible implementation in Java of the initial Minisat specification. | 2.3.1 | ✔ |
Lang Runtime
Apache 2.0
|  | org.scala-lang
»
scala-library Standard library for the Scala Programming Language Version 3 | 2.13.18 | 3.9.0 |
Apache 2.0
|  | org.scalameta
»
svm-subs subs | 101.0.0 | ✔ |
Test Dependencies (1)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Testing
BSD 3-clause
|  | org.scalacheck
»
scalacheck_2.13 ScalaCheck is a library written in Scala and used for automated property-based testing of Scala or Java programs. | 1.14.0 | 1.20.0 |