Request for Review: Bug Fix in SAT/SMT Solver

43 views
Skip to first unread message

Tilo RC

unread,
Apr 2, 2025, 4:23:09 PM4/2/25
to sympy

Hi all,

Is anyone familiar with SAT solvers who could review a recent bug fix for SymPy’s logic module?

Here’s the PR: https://github.com/sympy/sympy/pull/27735

Thanks in advance!
Tilo Reneau-Cardoso

Reply all
Reply to author
Forward
0 new messages