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

#81 - enum_models messes up the formula (not reusable)

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

#80 - 1.FM MaxSAT algorithm bug with WCNF and atms. 2. Fm.model issue.

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

#79 - Solver version information

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

#78 - Time out for sat solvers

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

#77 - Documentation example on Optux needs "mus" instead of m in loop variable

Issue - State: closed - Opened by arjay55 over 3 years ago - 1 comment

#76 - get_core

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

#75 - Improved Sequential Counters for atmost/atleast/equals

Issue - State: closed - Opened by ahealy0 over 3 years ago - 6 comments
Labels: enhancement, insight

#74 - LSU found_optimal() is wrong after interrupting the solver

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

#73 - Unnecessary clause in PBEnc.atmost

Issue - State: closed - Opened by rjungbeck over 3 years ago - 1 comment

#72 - Warm starting MAXSAT solvers

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

#71 - :bug: fixes incorrect position of "file_pointer" in to_alien

Pull Request - State: closed - Opened by thibaultfalque almost 4 years ago - 1 comment

#70 - Parallel solving

Issue - State: open - Opened by corazza almost 4 years ago - 16 comments
Labels: enhancement

#69 - ValueError: non-zero integer expected

Issue - State: closed - Opened by omarshehab almost 4 years ago - 1 comment

#67 - How to append negated clause to the formula?

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

#65 - PyPBLib PB to CNF encoder

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

#64 - On Parsimonious Cardinality Encodings

Issue - State: closed - Opened by allrtaken about 4 years ago - 9 comments
Labels: insight

#63 - Distinguish between an empty model and no model in .enum_models()

Pull Request - State: closed - Opened by blyxxyz over 4 years ago - 1 comment

#62 - Changed int32 to int64 for accum_stats

Pull Request - State: closed - Opened by lytr777 over 4 years ago - 1 comment

#61 - Include kissat

Issue - State: open - Opened by haz over 4 years ago - 7 comments
Labels: enhancement

#60 - `CardEnc.atmost` resets `vpool.top` when `len(lits) <= bound`

Issue - State: closed - Opened by peitl over 4 years ago - 2 comments
Labels: bug

#59 - How to set the Solver's verbosity?

Issue - State: open - Opened by hadipourh over 4 years ago - 5 comments
Labels: enhancement

#58 - Approximate model counters/Probabilistic solvers

Issue - State: open - Opened by jpsety over 4 years ago - 36 comments
Labels: enhancement

#57 - Running pysat with PyPy

Issue - State: closed - Opened by kopeckyf over 4 years ago - 4 comments
Labels: enhancement

#56 - Is there any way to solve DNF formulas?

Issue - State: closed - Opened by Biowav over 4 years ago - 3 comments
Labels: help wanted

#55 - Doing ^C (SIGINT) when running *solve_lim() causes segfault.

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

#54 - How to run / add to tests?

Issue - State: open - Opened by ChrisJefferson over 4 years ago - 4 comments
Labels: help wanted

#53 - Ctrl+C causes Python interpreter with pysat loaded to crash not gracefully yield an exception

Issue - State: open - Opened by GregoryMorse over 4 years ago - 27 comments
Labels: bug

#52 - Add initial accum_stats, for glucose41

Pull Request - State: closed - Opened by ChrisJefferson over 4 years ago - 6 comments

#51 - invalid number of variables

Issue - State: closed - Opened by beskyfil over 4 years ago - 1 comment

#50 - Pass options to solver

Issue - State: open - Opened by ChrisJefferson over 4 years ago - 8 comments
Labels: enhancement

#49 - Parallelisation support

Issue - State: open - Opened by ChrisJefferson over 4 years ago - 12 comments
Labels: enhancement

#48 - Setup failing due to broken links

Issue - State: closed - Opened by MiguelTerraNeves over 4 years ago - 11 comments

#47 - Requiring the AND of two bit vectors two have at most k true values

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

#46 - running python setup.py install fails (linux)

Issue - State: closed - Opened by Hansuzu over 4 years ago - 8 comments

#45 - On the usage of assumptions and literals (set_phases)

Issue - State: closed - Opened by garandria over 4 years ago - 1 comment

#44 - How to fix 'ERROR: Command errored out with exit status 1:'

Issue - State: closed - Opened by acs19qc over 4 years ago - 1 comment

#42 - cannot install pysat cdf package

Issue - State: closed - Opened by alexanderamadhan almost 5 years ago - 12 comments

#41 - Variable mapping when using from_aiger

Issue - State: closed - Opened by allrtaken almost 5 years ago - 2 comments

#40 - `nof_clauses` on a solver does not update after `add_clause`

Issue - State: closed - Opened by garandria almost 5 years ago - 5 comments

#39 - Constructor does not raise error when typo in parameters

Issue - State: closed - Opened by garandria almost 5 years ago - 1 comment

#38 - Add copy() functions to CNFPlus and WCNFPlus classes

Pull Request - State: closed - Opened by BoltMaud almost 5 years ago - 1 comment

#37 - Pdf documentation

Issue - State: closed - Opened by BoltMaud almost 5 years ago - 14 comments

#36 - Missing zconf.h added. Libraries for Windows build corrected.

Pull Request - State: closed - Opened by rjungbeck almost 5 years ago - 24 comments

#31 - Cardinality constraints do not work with minicard

Issue - State: closed - Opened by rjungbeck almost 5 years ago - 10 comments

#26 - formula simplication

Issue - State: open - Opened by yxliang01 about 5 years ago - 4 comments
Labels: enhancement

#21 - Depend on py-aiger-cnf instead of py-aiger

Issue - State: closed - Opened by mvcisback about 5 years ago - 25 comments

#7 - Package Installing Issue

Issue - State: closed - Opened by moqingyan almost 6 years ago - 70 comments

#2 - Mentioning of OS-requirements as Windows won't do (following setup-docs)

Issue - State: closed - Opened by sschnug over 6 years ago - 45 comments