uuverifiers / ostrich   1.3.5

GitHub

An SMT Solver for string constraints

Scala versions: 2.13 2.12 2.11
Found 2 artifacts
ostrich 1.3.5
8 months ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
ostrich-ecma2020-parser 1.3.5
8 months ago
BSD-3-Clause
JVM:
2.13 2.12 2.11