Search *

1 results

Contributing Search

Filters

Languages

Scala 2.13 (1)
Scala 2.12 (1)
Scala 2.11 (1)

Platforms

JVM (1)

Topics

regular-expressions (1)
smt-solver (1)
strings (1)
theorem-prover (1)
theorem-proving (1)

uuverifiers/ostrich 1.4.1

An SMT Solver for string constraints

Scala versions: 2.13 2.12 2.11

theorem-proving theorem-prover strings regular-expressions smt-solver

35 8