ostrich icon indicating copy to clipboard operation
ostrich copied to clipboard
verified publisher icon uuverifiers

API

Open AnkitMU opened this issue 1 year ago • 1 comments

Does Ostrich supports JAVA API or any API's???

AnkitMU avatar May 15 '24 15:05 AnkitMU

Sure; Ostrich is included in the Java-SMT library, which you can use to interface the solver from Java: https://github.com/sosy-lab/java-smt

There is also a Scala API, here is an example: https://github.com/uuverifiers/ostrich/blob/e386836dba365bd9045cba440cda8ec9b115b19d/src/test/scala/APITest.scala

pruemmer avatar May 15 '24 20:05 pruemmer