scaladex logo
    API Doc Awesome Scala Login

    uuverifiers / ostrich   1.4.1

    GitHub

    An SMT Solver for string constraints

    • theorem-proving
    • theorem-prover
    • regular-expressions
    • smt-solver
    • strings
    Scala versions: 2.13 2.12 2.11
    • Project
    • Artifacts
    • Versions
    • Badges

    ostrich

    Found 6 versions
    1.4.1
    5 months ago
    BSD-3-Clause
    JVM:
    2.13 2.12 2.11
    1.3.5
    1 year ago
    BSD-3-Clause
    JVM:
    2.13 2.12 2.11
    1.3
    1 year ago
    BSD-3-Clause
    JVM:
    2.13 2.12 2.11
    1.2.1
    2 years ago
    BSD-3-Clause
    JVM:
    2.13 2.12 2.11
    1.2
    2 years ago
    BSD-3-Clause
    JVM:
    2.13 2.12 2.11
    1.1
    3 years ago
    BSD-3-Clause
    JVM:
    2.13 2.12 2.11
    • Community
    • Github
    • Discord
    • Contribute
    • Contribution Guide
    • Report an Issue
    • Scaladex
    • FAQs
    • Code of Conduct
    • License

    Copyright © 2002-2025 École Polytechnique Fédérale Lausanne (EPFL) Lausanne, Switzerland

    powered by Scala Center