OSTRICH-ECMA2020-parser ostrich-ecma2020-parser_2.12

Group	io.github.uuverifiers
描述	OSTRICH is an SMT solver for string constraints.
Packaging	jar
Size	386.18 KB
文件	pom jar
网址	https://github.com/uuverifiers/ostrich
发布时间	2021-12-15 20:34

dependencies

Group	Artifact	Version
org.scala-lang	scala-library	2.12.10

developers

matthew.hague	Matthew Hague
p_ruemmer	Philipp Ruemmer
riccardo.de.masellis	Riccardo De Masellis
zhilei.han	Zhilei Han

licenses

BSD-3-Clause

https://opensource.org/licenses/BSD-3-Clause