Home » io.github.uuverifiers » ostrich » Used By

Ostrich

OSTRICH is an SMT solver for string constraints.

Artifacts using Ostrich (2)
Sort by:Popular▼
✓Popular✓Newest

1.Java SMT12 usages

org.sosy-lab » java-smt Apache

Unified acccess layer to SMT solvers
Last Release on Apr 2, 2026

2.Theta Solver Javasmt5 usages

hu.bme.mit.theta » theta-solver-javasmt Apache

Solver Javasmt subproject in the Theta model checking framework
Last Release on Nov 13, 2026
  • Prev
  • 1
  • Next