uuverifiers / ostrich   1.4.1

GitHub

An SMT Solver for string constraints

Scala versions: 2.13 2.12 2.11
Found 2 artifacts
ostrich 1.4.1
16 days ago
BSD-3-Clause
JVM:
2.13 2.12 2.11
ostrich-ecma2020-parser 1.4.1
16 days ago
BSD-3-Clause
JVM:
2.13 2.12 2.11