Search results

BV logic and get_logic_by_name()/get_logic()

Status: Open.

#811 In pysmt/pysmt;

· jortvanleenen opened on May 21, 2025

Optimsat issues

Status: Open.

#810 In pysmt/pysmt;

· Framba-Luca opened on May 21, 2025

Mathsat does not support arrays with boolean Type

Status: Open.

#807 In pysmt/pysmt;

· Framba-Luca opened on May 19, 2025

Enhance type‐narrowing support via TypeGuard utilities

Status: Open.

#804 In pysmt/pysmt;

· JanTomassi opened on May 18, 2025

<code>CNFizer</code> does not properly handle theory operations

bug

Status: Open.

Bug

#802 In pysmt/pysmt;

· nbailluet opened on May 13, 2025

PySMT does not correctly use local variables in forall statements

bug

Status: Open.

Bug

#798 In pysmt/pysmt;

· marian-lingsch opened on May 6, 2025

MathSAT5Solver all_sat method crashes with SIGSEGV

Status: Open.

#786 In pysmt/pysmt;

· andreastedile opened on Dec 6, 2024

Any plans for Floating point support?

Status: Open.

#783 In pysmt/pysmt;

· bavalpey opened on Aug 13, 2024

Add type-hints to pysmt code

Status: Open.

#780 In pysmt/pysmt;

· enmag opened on Jul 17, 2024

Unable to use UFNRA

Status: Open.

#777 In pysmt/pysmt;

· MikolasJanota opened on Jul 13, 2024

pyximport has no attribute 'build_module'

Status: Open.

#776 In pysmt/pysmt;

· ntinouldinho opened on Jun 29, 2024

Substitution with term containing bound variables

bug

Status: Open.

#774 In pysmt/pysmt;

· maul-esel opened on Jun 24, 2024