Search results

Cadical v3

Status: Open.

#222 In pysathq/pysat;

· BrannonKing opened on Apr 28, 2026

RC2Stratified memory explosion when adapt=True

Status: Open.

#221 In pysathq/pysat;

· andrewcropper opened on Mar 25, 2026

Kissat "accum_stats"

Status: Open.

#220 In pysathq/pysat;

· abdelrahmanseed opened on Mar 5, 2026

pypblib leaking memory?

Status: Open.

#219 In pysathq/pysat;

· tias opened on Feb 28, 2026

feature request: set variable priority

enhancementNew feature or requestNew feature or request

Status: Open.

#218 In pysathq/pysat;

· BrannonKing opened on Feb 27, 2026

Windows install fails with "unistd.h": No such file or directory

Status: Open.

#215 In pysathq/pysat;

· lorenzo25832 opened on Jan 7, 2026

pip install adds "binaries"

Status: Open.

#214 In pysathq/pysat;

· keithbriggs opened on Dec 23, 2025

RuntimeError when using the IPASIRUP interface from pysat

Status: Open.

#209 In pysathq/pysat;

· manfredscheucher opened on Nov 4, 2025

rc2stratified failure/inconsistency

Status: Open.

#203 In pysathq/pysat;

· tias opened on Sep 10, 2025

NameError raised instead of ModuleNotFound exception

Status: Open.

#198 In pysathq/pysat;

· hbierlee opened on Apr 18, 2025

Are negative weights supported for PB constraints?

Status: Open.

#194 In pysathq/pysat;

· hbierlee opened on Feb 21, 2025

pysat doesn't build/install clean from checkout

Status: Open.

#185 In pysathq/pysat;

· gavinp opened on Dec 28, 2024