Search results

<code>ostrich</code> returns <code>sat</code> for an <code>unsat</code> formula with quantification

Status: Open.

#111 In uuverifiers/ostrich;

· wingsyuyi-satori opened on Dec 18, 2025

OSTRICH solves two equisatisfiable SMT-LIB differently

Status: Open.

#110 In uuverifiers/ostrich;

· iscas-zac opened on Dec 8, 2025

Incorrect result for RegLan comparison

enhancementNew feature or requestNew feature or request

Status: Open.

#96 In uuverifiers/ostrich;

· jurajsic opened on Apr 14, 2025

Unexpected System Stream Logging in Ostrich Library

Status: Open.

#95 In uuverifiers/ostrich;

· kfriedberger opened on Mar 7, 2025

Inconsistent satisfiability for some word equation problems

Status: Open.

#91 In uuverifiers/ostrich;

· ChenchengLiang opened on Sep 23, 2024

Proving formulas with no singleton Strings

Status: Open.

#88 In uuverifiers/ostrich;

· daniel-raffler opened on Sep 9, 2024

Miss some model

Status: Open.

#55 In uuverifiers/ostrich;

· SimpleXiaohu opened on Sep 21, 2022

Three problems about regular expressions

Status: Open.

#52 In uuverifiers/ostrich;

· x5g opened on Apr 21, 2022

Assembly produces broken JAR file on case-insensitive file systems due to overlapping class names in ECMA 2020 parser

Status: Open.

#51 In uuverifiers/ostrich;

· x5g opened on Apr 17, 2022

java.lang.RuntimeException: Stack empty

issues with princessIssue not due to OSTRICH, but the underlying SMT solverIssue not due to OSTRICH, but the underlying SMT solver

Status: Open.

#18 In uuverifiers/ostrich;

· rainoftime opened on Sep 24, 2020

Assertion error at SimpleAPI.scala:4231

issues with princessIssue not due to OSTRICH, but the underlying SMT solverIssue not due to OSTRICH, but the underlying SMT solver

Status: Open.

#17 In uuverifiers/ostrich;

· rainoftime opened on Sep 24, 2020

Assertion error at SimpleAPI.scala:3297

issues with princessIssue not due to OSTRICH, but the underlying SMT solverIssue not due to OSTRICH, but the underlying SMT solver

Status: Open.

#16 In uuverifiers/ostrich;

· rainoftime opened on Sep 24, 2020