Search results

<code>NameError</code> raised instead of <code>ModuleNotFound</code> exception

Status: Open.

#198 In pysathq/pysat;

· hbierlee opened on Apr 18, 2025

IDPool.obj accepting negative literals

Status: Open.

#195 In pysathq/pysat;

· IrrationalInteger opened on Mar 31, 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

Trying to set incremental mode, but not compiled properly for this.

enhancementNew feature or requestNew feature or request

Status: Open.

#178 In pysathq/pysat;

· egolf-cs opened on Aug 1, 2024

using pbenc or atmost function from cadical195 do not yield expected result

Status: Open.

#177 In pysathq/pysat;

· alnugro opened on Jul 31, 2024

cryptosat solver is listed, but can't be used

Status: Open.

#176 In pysathq/pysat;

· Wout4 opened on Jul 18, 2024

Obtaining equisatisfiable CNF

enhancementNew feature or requestNew feature or request

Status: Open.

#175 In pysathq/pysat;

· nano-o opened on Jul 11, 2024

<code>ITotalizer</code> does not accept an `IDPool

enhancementNew feature or requestNew feature or request

Status: Open.

#173 In pysathq/pysat;

· Jaxan opened on Jun 5, 2024

get_proof() doesn't work for all solvers

bugSomething isn't workingSomething isn't working

Status: Open.

#139 In pysathq/pysat;

· marino-mrc opened on Jul 16, 2023

extracting the number of SAT oracle calls through the API

enhancementNew feature or requestNew feature or request

Status: Open.

#131 In pysathq/pysat;

· strl2022 opened on May 22, 2023

negate

enhancementNew feature or requestNew feature or request

Status: Open.

#127 In pysathq/pysat;

· algebravic opened on May 2, 2023