Awesome Scala
Login
uuverifiers
/
ostrich
1.3.5
GitHub
An SMT Solver for string constraints
theorem-prover
strings
theorem-proving
regular-expressions
smt-solver
Scala versions:
2.13
2.12
2.11
Project
5 Versions
Badges
ostrich
ostrich-ecma2020-parser
2.13
2.12
2.11
Show pre-release versions
Scala 2.13
Clear all filters
5
versions found for
ostrich
1.3.5
3 months ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
1.3
9 months ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
1.2.1
1 year ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
1.2
1 year ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
1.1
2 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11