pysathq / pysat

A toolkit for SAT-based prototyping in Python

https://pysathq.github.io/

pysathq/pysat Issues

Trying to set incremental mode, but not compiled properly for this.
Updated 2 months ago2
using pbenc or atmost function from cadical195 do not yield expected result
Updated 2 months ago4
cryptosat solver is listed, but can't be used
Updated 3 months ago5
Obtaining equisatisfiable CNF
Updated 3 months ago1
the s->prop_check(a, p, save_phase) in solvers/pysolvers.cc
Closed 4 months ago3
`ITotalizer` does not accept an `IDPool
Updated 4 months ago2
Error in M1 macOS
Closed 2 years ago13
solve returns false, but the formula is satisfiable
Closed 6 months ago6
simplified fails with XOr
Closed 6 months ago6
Clausification of nested Implication fails
Closed 6 months ago15
Atom constructor reuses wrong object from store
Closed 6 months ago2
Release version mismatch between pypi and github
Closed 6 months ago4
Method to get list of clauses after propagation?
Closed 7 months ago2
How to use a custom SAT solver within PySAT?
Closed 7 months ago1
(p ↔ p) simplifies to p
Closed 7 months ago6
MUS extraction unsupported for CNF with either OptUX and MUSx ?
Closed 7 months ago2
Retrieve partial solution
Closed 7 months ago1
Extracting learned clauses (during a search)
Closed 10 months ago4
Very slow useless (?) deepcopy in from_clauses
Closed 8 months ago4
Incorrect sign convention in CryptoMinisat core
Closed 8 months ago2
Obtaining cores with solve_limited
Closed 9 months ago2
Docs: `BeyondNP` link is broken
Closed 10 months ago2
to_string
Updated 10 months ago8
Unexpected MaxSat Solution from `RC2`
Closed 10 months ago3
Error when reading a CNF formula from file
Closed 10 months ago8
Unused variables do not occur in model
Closed 10 months ago11
No wheels for Python 3.11 on x86-64
Closed 10 months ago2
pep 517 error
Closed 10 months ago5
`propagate()` on empty assumptions does not perform unit propagation?
Closed a year ago2
Seemingly incorrect results when using pseudo-boolean constraints
Closed a year ago2
get_proof() doesn't work for all solvers
Updated a year ago1
get_proof doesn't work in Glucose 4.2.1
Closed a year ago2
Guidelines on patches
Closed a year ago17
Cardinality constraints using different encodings give different outputs
Closed a year ago3
extracting the number of SAT oracle calls through the API
Updated a year ago1
negate
Updated a year ago3
Support for lexicographic constraints
Updated a year ago3
Documentation without the RC2().oracle_time() method time unit
Closed a year ago1
Minisat22 crash
Closed a year ago3
How to get the unsatisfiable soft clauses with RC2?
Closed 2 years ago5
error: Microsoft Visual C++ 14.0 or greater is required.
Closed 2 years ago4
Problem with RC2.compute <bound method RC2.compute of <pysat.examples.rc2.RC2 object at 0x7f53b354f7f0>>
Closed 2 years ago4
Skipping variable indices heavily impacts performance
Updated 2 years ago1
error in lsu
Closed 2 years ago4
Solving ALLSAT
Closed 2 years ago14
CNF(from_file=) issue after recent update
Closed 2 years ago3
Double free errors with Glucose3, Glucose 4, Gluecard3 and Gluecard4
Closed 2 years ago10
Cannot install on M1 mac
Closed 2 years ago2
Unable to install on Windows
Closed 2 years ago5
Multiple Cardinality Constraints
Closed 2 years ago2