Ostrich ostrich_2.11

Group	io.github.uuverifiers
描述	OSTRICH is an SMT solver for string constraints.
Packaging	jar
Size	3.61 MB
文件	pom jar
网址	https://github.com/uuverifiers/ostrich
发布时间	2024-01-25 15:20

dependencies

Group	Artifact	Version
org.scala-lang	scala-library	2.11.12
io.github.uuverifiers	ostrich-ecma2020-parser_2.11	1.3.5
io.github.uuverifiers	princess_2.11	2024-01-12
org.sat4j	org.sat4j.core	2.3.1
org.scalacheck	scalacheck_2.11	1.14.0
dk.brics.automaton	automaton	1.11-8

developers

matthew.hague	Matthew Hague
p_ruemmer	Philipp Ruemmer
riccardo.de.masellis	Riccardo De Masellis
zhilei.han	Zhilei Han
oliver.markgraf	Oliver Markgraf
denghang.hu	Denghang Hu

licenses

BSD-3-Clause

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