Maven Repository: io.github.uuverifiers » ostrich

Ostrich

OSTRICH is an SMT solver for string constraints.

License

BSD 3-clause

Tags

HomePage

https://github.com/uuverifiers/ostrich

Ranking

#285042 in MvnRepository (See Top Artifacts)

Used By

1 artifacts

Central (18)

	Version ▼	Scala	Vulnerabilities	Repository	Usages	Date
1.4.x	1.4.1	2.13 2.12 2.11		Central	1	Nov 12, 2024
1.3.x	1.3.5	2.13 2.12 2.11		Central	0	Jan 25, 2024
1.3.x	1.3	2.13 2.12 2.11		Central	0	Jul 14, 2023
1.2.x	1.2.1	2.13 2.12 2.11		Central	0	Nov 04, 2022
1.2.x	1.2	2.13 2.12 2.11		Central	0	Jul 01, 2022
1.1.x	1.1	2.13 2.12 2.11		Central	0	Dec 21, 2021