API Doc
Awesome Scala
Login
uuverifiers
/
ostrich
2.0
GitHub
An SMT Solver for string constraints
regular-expressions
smt-solver
theorem-proving
theorem-prover
strings
Scala versions:
2.13
2.12
2.11
Project
Artifacts
Versions
Badges
2.13
2.12
2.11
Found
2
artifacts
ostrich
2.0
22 hours ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
ostrich-ecma2020-parser
2.0
22 hours ago
BSD-3-Clause
JVM:
2.13
2.12
2.11