uuverifiers / ostrich   2.0

GitHub

An SMT Solver for string constraints

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