Search results

Wrong section reference for lambda binder in Section 3.6.1 (should point to 3.9, not 3.8)

Status: Open.

#46 In SMT-LIB/SMT-LIB-2;

· nojup opened on Nov 20, 2025

SMT-LIB Proposal: Integer Arithmetic with Exponentials

Status: Open.

#45 In SMT-LIB/SMT-LIB-2;

· ffrohn opened on Nov 20, 2025

Terms as coefficients in QF_UFLRA and QF_UFLIA

Status: Open.

#41 In SMT-LIB/SMT-LIB-2;

· hansjoergschurr opened on May 20, 2025

Order of theories in Logic names

Status: Open.

#39 In SMT-LIB/SMT-LIB-2;

· Gbury opened on Mar 14, 2025

SMT-LIB should consider disallowing shadowed variables in define-fun(-rec)

Status: Open.

#36 In SMT-LIB/SMT-LIB-2;

· ajreynol opened on Jan 9, 2025

Well-foundedness of datatypes

Status: Open.

#32 In SMT-LIB/SMT-LIB-2;

· Gbury opened on Oct 21, 2024

Tacking Issue: Proposal: A Standard for the Theory of Finite Fields

Status: Open.

#30 In SMT-LIB/SMT-LIB-2;

· alex-ozdemir opened on Sep 24, 2024

const-array

Status: Open.

#28 In SMT-LIB/SMT-LIB-2;

· LeventErkok opened on Sep 18, 2024

Lack of a minimal logic for some problems (related to logic restrictions such as linearity)

Status: Open.

#25 In SMT-LIB/SMT-LIB-2;

· Gbury opened on Jul 26, 2024

Match syntax

Status: Open.

#22 In SMT-LIB/SMT-LIB-2;

· fontainep opened on Dec 14, 2023

Overflow in FP operators

Status: Open.

#21 In SMT-LIB/SMT-LIB-2;

· fontainep opened on Oct 19, 2023

declaring symbols to be used in binders

Status: Open.

#20 In SMT-LIB/SMT-LIB-2;

· fontainep opened on Sep 20, 2023

·  

SMT-LIB 3