All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download ostrich_2.12 JAR file with all dependencies

Search JAR files by class name

ostrich_2.12 from group io.github.uuverifiers (version 1.4.1)

OSTRICH is an SMT solver for string constraints.

Group: io.github.uuverifiers Artifact: ostrich_2.12
Show documentation Show source 
 

0 downloads
Artifact ostrich_2.12
Group io.github.uuverifiers
Version 1.4.1
Last update 12. November 2024
Tags: string ostrich constraints solver
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/ostrich
License BSD-3-Clause
Dependencies amount 5
Dependencies scala-library, ostrich-ecma2020-parser_2.12, princess_2.12, org.sat4j.core, automaton,
There are maybe transitive dependencies!


Page 1 from 1 (items total 1)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy