Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / pysathq/pysat issues and pull requests

#181 - add kissat support

Pull Request - State: open - Opened by tye-singwa 15 days ago - 1 comment

#179 - Formulas are encoded multiple times when documentation says they should not be

Issue - State: open - Opened by vgklein about 2 months ago - 2 comments
Labels: bug

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

Issue - State: open - Opened by egolf-cs 4 months ago - 2 comments
Labels: enhancement

#176 - cryptosat solver is listed, but can't be used

Issue - State: open - Opened by Wout4 4 months ago - 5 comments

#175 - Obtaining equisatisfiable CNF

Issue - State: open - Opened by nano-o 4 months ago - 1 comment
Labels: enhancement

#174 - the s->prop_check(a, p, save_phase) in solvers/pysolvers.cc

Issue - State: closed - Opened by zhangran7 5 months ago - 3 comments

#173 - `ITotalizer` does not accept an `IDPool

Issue - State: open - Opened by Jaxan 5 months ago - 2 comments
Labels: enhancement

#172 - fix MUCX

Pull Request - State: closed - Opened by brossignol 6 months ago - 3 comments

#170 - Fix cleanup and CNF vpool updating

Pull Request - State: closed - Opened by brossignol 7 months ago - 5 comments

#169 - solve returns false, but the formula is satisfiable

Issue - State: closed - Opened by ningit 7 months ago - 6 comments

#168 - Fix Neg clausify

Pull Request - State: closed - Opened by brossignol 7 months ago - 30 comments

#167 - Protect True and False Atom from .cleanup

Pull Request - State: closed - Opened by brossignol 7 months ago - 11 comments

#166 - fix XOr simplified

Pull Request - State: closed - Opened by brossignol 7 months ago

#165 - fix issue #164 simplified fails with XOr

Pull Request - State: closed - Opened by brossignol 7 months ago

#164 - simplified fails with XOr

Issue - State: closed - Opened by brossignol 7 months ago - 6 comments

#163 - (p ↔ p) simplifies to p

Issue - State: closed - Opened by ningit 8 months ago - 6 comments
Labels: bug

#162 - MUS extraction unsupported for CNF with either OptUX and MUSx ?

Issue - State: closed - Opened by fransab 8 months ago - 2 comments

#161 - Retrieve partial solution

Issue - State: closed - Opened by TraianDobrin 9 months ago - 1 comment

#160 - Atom constructor reuses wrong object from store

Issue - State: closed - Opened by maweki 9 months ago - 2 comments
Labels: bug

#159 - Method to get list of clauses after propagation?

Issue - State: closed - Opened by gdowdy3 9 months ago - 2 comments

#158 - Clausification of nested Implication fails

Issue - State: closed - Opened by maweki 9 months ago - 15 comments
Labels: enhancement

#157 - Very slow useless (?) deepcopy in from_clauses

Issue - State: closed - Opened by vincent-hugot 9 months ago - 4 comments

#156 - Release version mismatch between pypi and github

Issue - State: closed - Opened by hoodmane 9 months ago - 4 comments

#155 - Incorrect sign convention in CryptoMinisat core

Issue - State: closed - Opened by noajshu 9 months ago - 2 comments

#154 - How to use a custom SAT solver within PySAT?

Issue - State: closed - Opened by piyush-J 10 months ago - 1 comment

#153 - Obtaining cores with solve_limited

Issue - State: closed - Opened by ozan-cb 10 months ago - 2 comments

#152 - Fix typo in latest commit

Pull Request - State: closed - Opened by dulanov 10 months ago - 1 comment

#151 - Docs: `BeyondNP` link is broken

Issue - State: closed - Opened by dulanov 11 months ago - 2 comments

#150 - Extracting learned clauses (during a search)

Issue - State: closed - Opened by MushroomHunting 12 months ago - 4 comments

#149 - Unused variables do not occur in model

Issue - State: closed - Opened by LemarAb 12 months ago - 11 comments

#148 - pep 517 error

Issue - State: closed - Opened by algebravic about 1 year ago - 5 comments

#147 - Flat list before chaining iterables in formula.py

Pull Request - State: closed - Opened by ElisabettaV4t1qbit about 1 year ago - 1 comment

#146 - Error when reading a CNF formula from file

Issue - State: closed - Opened by ElisabettaV4t1qbit about 1 year ago - 8 comments

#145 - Unexpected MaxSat Solution from `RC2`

Issue - State: closed - Opened by gdowdy3 about 1 year ago - 3 comments

#144 - No wheels for Python 3.11 on x86-64

Issue - State: closed - Opened by embe-pw about 1 year ago - 2 comments

#143 - `propagate()` on empty assumptions does not perform unit propagation?

Issue - State: closed - Opened by aur3l14no over 1 year ago - 2 comments

#142 - Change patching method for Windows

Pull Request - State: closed - Opened by Lorenz-Jan over 1 year ago

#141 - Add possibility to exclude MIT license incompatible solvers

Pull Request - State: closed - Opened by Lorenz-Jan over 1 year ago - 1 comment

#140 - Seemingly incorrect results when using pseudo-boolean constraints

Issue - State: closed - Opened by benwh1 over 1 year ago - 2 comments

#139 - get_proof() doesn't work for all solvers

Issue - State: open - Opened by marino-mrc over 1 year ago - 1 comment
Labels: bug

#138 - FIX: get_proof() doesn't work in Glucose 4.2.1

Pull Request - State: closed - Opened by marino-mrc over 1 year ago - 2 comments

#137 - get_proof doesn't work in Glucose 4.2.1

Pull Request - State: closed - Opened by marino-mrc over 1 year ago - 1 comment

#136 - get_proof doesn't work in Glucose 4.2.1

Issue - State: closed - Opened by marino-mrc over 1 year ago - 2 comments

#135 - Adding Support for Glucose 4.2.1

Pull Request - State: closed - Opened by marino-mrc over 1 year ago - 9 comments

#134 - Guidelines on patches

Issue - State: closed - Opened by marino-mrc over 1 year ago - 17 comments

#133 - Cardinality constraints using different encodings give different outputs

Issue - State: closed - Opened by claudiugheorma over 1 year ago - 3 comments

#132 - Fix bug in RC2 related to partial introduction of new counters

Pull Request - State: closed - Opened by aoertel over 1 year ago - 1 comment

#131 - extracting the number of SAT oracle calls through the API

Issue - State: open - Opened by strl2022 over 1 year ago - 1 comment
Labels: enhancement

#130 - Fixed PyData Sphinx theme version

Pull Request - State: closed - Opened by RexYuan over 1 year ago - 1 comment

#129 - Formula enhancement: added repr and to_dimacs methods to formula classes

Pull Request - State: closed - Opened by RexYuan over 1 year ago - 1 comment

#128 - Fixed CNF from_string example bug

Pull Request - State: closed - Opened by RexYuan over 1 year ago - 3 comments

#127 - negate

Issue - State: open - Opened by algebravic over 1 year ago - 3 comments
Labels: enhancement

#126 - Support for lexicographic constraints

Issue - State: open - Opened by algebravic over 1 year ago - 3 comments
Labels: enhancement

#125 - Minisat22 crash

Issue - State: closed - Opened by alexanderivrii over 1 year ago - 3 comments

#124 - Documentation without the RC2().oracle_time() method time unit

Issue - State: closed - Opened by cacajr over 1 year ago - 1 comment

#123 - How to get the unsatisfiable soft clauses with RC2?

Issue - State: closed - Opened by PoplarTN over 1 year ago - 5 comments

#122 - error: Microsoft Visual C++ 14.0 or greater is required.

Issue - State: closed - Opened by ajadam64 over 1 year ago - 4 comments

#120 - Skipping variable indices heavily impacts performance

Issue - State: open - Opened by Tobs40 almost 2 years ago - 1 comment
Labels: enhancement

#119 - error in lsu

Issue - State: closed - Opened by idotu almost 2 years ago - 4 comments

#118 - CNF(from_file=) issue after recent update

Issue - State: closed - Opened by gpedretti almost 2 years ago - 3 comments

#117 - Fixed using RC2 with solvers which don't support the incr keyword

Pull Request - State: closed - Opened by benjaminwinger almost 2 years ago - 1 comment

#116 - Update card.py docstring

Pull Request - State: closed - Opened by thomaoc1 almost 2 years ago - 1 comment

#115 - Cannot install on M1 mac

Issue - State: closed - Opened by algebravic about 2 years ago - 2 comments

#114 - Double free errors with Glucose3, Glucose 4, Gluecard3 and Gluecard4

Issue - State: closed - Opened by Mihciel about 2 years ago - 10 comments

#113 - to_string

Issue - State: open - Opened by yoni206 about 2 years ago - 8 comments
Labels: enhancement

#112 - Solving ALLSAT

Issue - State: closed - Opened by HM0880 about 2 years ago - 14 comments
Labels: enhancement

#111 - Error in M1 macOS

Issue - State: closed - Opened by yoni206 over 2 years ago - 13 comments

#110 - Multiple Cardinality Constraints

Issue - State: closed - Opened by G-AshwinKumar over 2 years ago - 2 comments

#109 - Unable to install on Windows

Issue - State: closed - Opened by mueller55 over 2 years ago - 5 comments

#108 - CNF for soft clauses

Issue - State: closed - Opened by AlbertoSinigaglia over 2 years ago - 9 comments

#107 - pip install python-sat in Windows 10 x64 does not work

Issue - State: closed - Opened by danieljmg over 2 years ago - 1 comment

#106 - Having issue with C++ library while installing pysat via pip

Issue - State: closed - Opened by Miaozxje over 2 years ago - 4 comments

#105 - MUSX extraction wrong !

Issue - State: closed - Opened by elasriz almost 3 years ago - 1 comment
Labels: invalid

#104 - No exception raised when attempting to extract a CNF from an invalid file

Issue - State: open - Opened by peitl almost 3 years ago - 1 comment
Labels: enhancement

#103 - How to use aiger and pysat together

Issue - State: closed - Opened by bbc2 almost 3 years ago - 3 comments

#102 - cadical.patch: avoid libc++ <version> header conflict on case-insensi…

Pull Request - State: closed - Opened by veprbl almost 3 years ago - 4 comments

#101 - Small bug with OptUx

Issue - State: closed - Opened by vstylianos almost 3 years ago - 3 comments

#100 - pip install python-sat[pblib,aiger] - no matches found

Issue - State: closed - Opened by znittzel almost 3 years ago - 1 comment

#99 - Calculating implicit topw in WCNF.from_fp function

Pull Request - State: closed - Opened by DavidFerrerBeltran almost 3 years ago

#98 - WCNF from_fp doesn't properly read from a file without explicit topw

Issue - State: closed - Opened by DavidFerrerBeltran almost 3 years ago - 1 comment

#97 - Error installing package: urlopen timed out

Issue - State: closed - Opened by sliedes almost 3 years ago - 2 comments

#96 - ModuleNotFoundError: No module named 'pysat.solvers'

Issue - State: closed - Opened by PeaPals almost 3 years ago - 11 comments

#95 - Missing self.atm1 in pysat.examples.fm.FM (0.1.7.dev12)?

Issue - State: closed - Opened by scoopergit about 3 years ago - 2 comments

#94 - PBLIB + ID Pool returning wrong id for new unseen variable

Issue - State: closed - Opened by sourdough-bread about 3 years ago - 2 comments

#93 - unable to install PySAT on Cygwin64

Issue - State: closed - Opened by bios8086 about 3 years ago - 4 comments

#92 - Unable to compile solvers with MSVC because of wrong path resolution

Issue - State: closed - Opened by S0mbre about 3 years ago - 13 comments

#91 - CardEnc.atmost and equals with large bound

Issue - State: closed - Opened by mvcisback about 3 years ago - 8 comments

#90 - assumption in rc2

Issue - State: open - Opened by you-li-nu about 3 years ago - 6 comments
Labels: enhancement

#89 - Add linux aarch64 wheel build support

Pull Request - State: closed - Opened by odidev over 3 years ago

#88 - Add support to release aarch64 wheels

Issue - State: closed - Opened by odidev over 3 years ago - 3 comments

#87 - invalid cardinality encoding parameters

Issue - State: closed - Opened by psaikko over 3 years ago - 6 comments

#86 - timer deprecation warning

Issue - State: closed - Opened by tias over 3 years ago - 2 comments

#85 - Installing python-sat vs Importing pysat

Issue - State: closed - Opened by migueltorrescosta over 3 years ago - 2 comments
Labels: wontfix

#84 - build breaks on macOS with case-insensitive file system

Issue - State: closed - Opened by ott2 over 3 years ago - 5 comments

#83 - random seeds in solvers

Issue - State: open - Opened by algebravic over 3 years ago - 3 comments
Labels: enhancement

#82 - Minimal satisfiability solver

Issue - State: closed - Opened by migueltorrescosta over 3 years ago - 3 comments