Search results

newSolver hangs when used in an executable without threading enabled

Status: Open.

#28 In yav/simple-smt;

· danmatichuk opened on May 5, 2025

need a reliable way to kill a solver process

Status: Open.

#21 In yav/simple-smt;

· jwaldmann opened on Aug 18, 2022

yices-smt2 sometimes returns real value without decimal point

Status: Open.

#20 In yav/simple-smt;

· jwaldmann opened on Aug 17, 2022

define and use application-specific exceptions, instead of <code>fail</code>

Status: Open.

#19 In yav/simple-smt;

· jwaldmann opened on Aug 17, 2022

addMany should have special case for one argument

Status: Open.

#18 In yav/simple-smt;

· jwaldmann opened on Aug 15, 2022

output format of negative Reals not accepted by cvc5

Status: Open.

#17 In yav/simple-smt;

· jwaldmann opened on Aug 15, 2022

sexprToVal fails for some Real representations

Status: Open.

#16 In yav/simple-smt;

· jwaldmann opened on Aug 15, 2022

examples/ex1: Couldn't match expected type: IO Logger ...

Status: Open.

#14 In yav/simple-smt;

· jwaldmann opened on Aug 15, 2022