All issues

Search results

Yices may returns invalid interpolants

Status: Open.

#659 In SRI-CSL/yices2;

· daniel-raffler opened on Aug 3, 2026

.ys file support for finite fields?

Status: Open.

#642 In SRI-CSL/yices2;

· RyanGlScott opened on Jun 8, 2026

Can't run static macOS Yices-2.7.0 binary from GitHub release page

Status: Open.

#641 In SRI-CSL/yices2;

· RyanGlScott opened on Jun 8, 2026

[Question] Support for QF_BV + QF_IDL solving

Status: Open.

#618 In SRI-CSL/yices2;

· ThomasHaas opened on Mar 29, 2026

·  

Yices 2.8.1

Website is outdated

Status: Open.

#612 In SRI-CSL/yices2;

· daniel-raffler opened on Mar 11, 2026

Support for constant arrays

Status: Open.

#597 In SRI-CSL/yices2;

· blishko opened on Jul 18, 2025

·  

Yices 2.8.1

Linking problems on Windows (msys2+ucrt64)

Status: Open.

#532 In SRI-CSL/yices2;

· Febbe opened on Oct 6, 2024

C++ interface for parsing ys files into formulas

Status: Open.

#526 In SRI-CSL/yices2;

· dyd1024 opened on Aug 23, 2024

Feature request : please support Finite Field simplification.

Status: Open.

#521 In SRI-CSL/yices2;

· ytrezq opened on Jun 23, 2024

Major performance difference between Yices2 and Z3 on BV benchmarks

Status: Open.

#492 In SRI-CSL/yices2;

· ThomasHaas opened on Mar 9, 2024

Yices global lock in egraph final check

Status: Open.

#487 In SRI-CSL/yices2;

· Saloed opened on Feb 5, 2024

Merge the per-thread-state branch into master

Status: Open.

#469 In SRI-CSL/yices2;

· ahmed-irfan opened on Oct 11, 2023