Ecosyste.ms: Issues

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

GitHub / enthought/sat-solver issues and pull requests

#285 - Release 0.9.0

Pull Request - State: closed - Opened by itziakos about 1 month ago

#284 - Update run-tests.yml

Pull Request - State: closed - Opened by itziakos about 1 month ago - 2 comments

#283 - unit test failing

Issue - State: open - Opened by maribu 3 months ago

#282 - Remove Travis badge from README

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

#281 - Replace Travis CI with GitHub Actions

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

#280 - Include LICENSE on sdist

Issue - State: open - Opened by itziakos almost 5 years ago

#279 - Bump micro version to 0.8.3

Pull Request - State: closed - Opened by itziakos almost 5 years ago

#278 - Declare license on pypi

Issue - State: open - Opened by itziakos almost 5 years ago

#277 - Upload description into pypi

Issue - State: open - Opened by itziakos almost 5 years ago

#276 - Update categories in setup.py

Issue - State: open - Opened by itziakos almost 5 years ago

#275 - Backport prs into 0.8.x

Pull Request - State: closed - Opened by itziakos almost 5 years ago

#274 - Fix typo

Pull Request - State: closed - Opened by itziakos almost 5 years ago

#273 - Fix/Update changelog

Pull Request - State: closed - Opened by itziakos almost 5 years ago

#272 - Update changelog to current version

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

#271 - MAINT: Fix deprecated attribute 'convert' to comply with attrs 19.2.0

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

#270 - New release of attrs package (19.2.0) breaks simplesat.

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

#269 - Remove broken _unsatisfied_clauses cache

Pull Request - State: closed - Opened by mdickinson about 5 years ago - 2 comments

#268 - UndeterminedClausePolicy not suggesting best packages

Issue - State: closed - Opened by mdickinson over 5 years ago - 1 comment
Labels: bug

#267 - Update ci setup

Pull Request - State: closed - Opened by itziakos about 7 years ago

#266 - MAINT: fix typo in error message.

Pull Request - State: closed - Opened by cournape over 7 years ago

#265 - Spelling error on bad distribution error

Issue - State: closed - Opened by JCorson over 7 years ago - 2 comments

#264 - Maint/release 0.8.1

Pull Request - State: closed - Opened by cournape over 7 years ago

#263 - Backport #26

Pull Request - State: closed - Opened by cournape over 7 years ago

#262 - Merge pull request #260 from enthought/fix-7z-error

Pull Request - State: closed - Opened by cournape over 7 years ago

#260 - Fix 7z requirement parsing error

Pull Request - State: closed - Opened by JCorson over 7 years ago - 5 comments

#259 - Keep simplesat 0.7 on pypi

Issue - State: closed - Opened by olofk over 7 years ago - 2 comments

#258 - Maint/release 0.8.0

Pull Request - State: closed - Opened by cournape over 7 years ago

#257 - Maint/release 0.8.0

Pull Request - State: closed - Opened by cournape over 7 years ago - 1 comment

#256 - MAINT: start 0.9.x.

Pull Request - State: closed - Opened by cournape over 7 years ago

#255 - FEAT: add new upgrade job.

Pull Request - State: closed - Opened by cournape over 7 years ago

#254 - FEAT: add new solve_with_hint method.

Pull Request - State: closed - Opened by cournape over 7 years ago - 1 comment

#253 - Add new upgrade job kind

Issue - State: closed - Opened by cournape over 7 years ago - 1 comment

#252 - MAINT: update runtime dependencies.

Pull Request - State: closed - Opened by cournape over 7 years ago

#251 - Parsing issues with leading zeroes in version

Issue - State: closed - Opened by olofk about 8 years ago - 1 comment

#250 - MAINT: Start 0.8.x branch

Pull Request - State: closed - Opened by ashishbhate about 8 years ago - 1 comment

#249 - MAINT: Release 0.7.0

Pull Request - State: closed - Opened by ashishbhate about 8 years ago - 1 comment

#248 - MAINT: Update changelog in preparation for 0.7.0

Pull Request - State: closed - Opened by ashishbhate about 8 years ago - 1 comment

#247 - ENH: Add method to compute leaf packages.

Pull Request - State: closed - Opened by ashishbhate about 8 years ago - 2 comments

#246 - Improve missing requirements message

Issue - State: open - Opened by noraderam about 8 years ago
Labels: enhancement

#245 - MAINT: Start 0.7.x branch

Pull Request - State: closed - Opened by noraderam about 8 years ago - 1 comment

#244 - MAINT: Release 0.6.0

Pull Request - State: closed - Opened by noraderam about 8 years ago - 3 comments

#243 - MAINT: Update changelog in preparation for 0.6.0

Pull Request - State: closed - Opened by noraderam about 8 years ago - 1 comment

#242 - MAINT: Release 0.5.0.post1

Pull Request - State: closed - Opened by noraderam about 8 years ago - 1 comment

#241 - MAINT: Backport post release to 0.5.0

Pull Request - State: closed - Opened by noraderam about 8 years ago - 3 comments

#240 - MAINT: add support for post release.

Pull Request - State: closed - Opened by noraderam about 8 years ago - 2 comments

#239 - MAINT: add support for post release.

Pull Request - State: closed - Opened by cournape about 8 years ago - 1 comment

#238 - Maintenance/0.5.0.x

Pull Request - State: closed - Opened by noraderam about 8 years ago - 1 comment

#237 - ENH: Add package and package id iteration to pool

Pull Request - State: closed - Opened by noraderam about 8 years ago - 2 comments

#236 - MAINT: start 0.6.x

Pull Request - State: closed - Opened by prashantmital about 8 years ago - 1 comment

#235 - Release 0.5.0

Pull Request - State: closed - Opened by prashantmital about 8 years ago - 2 comments

#234 - DOC: update changelog

Pull Request - State: closed - Opened by prashantmital about 8 years ago - 1 comment

#233 - MAINT: start 0.5.x branch.

Pull Request - State: closed - Opened by cournape over 8 years ago - 2 comments

#231 - ENH: return error message when running checks for satisfiability

Pull Request - State: closed - Opened by prashantmital over 8 years ago - 8 comments

#230 - ENH: ConstraintModifiers can now accept nested iterables in its constructor

Pull Request - State: closed - Opened by prashantmital over 8 years ago - 3 comments

#229 - ENH: support ConstraintsModifiers.remove

Pull Request - State: closed - Opened by johntyree over 8 years ago - 3 comments

#228 - Rename InstallRequirement -> IndirectRequirement

Issue - State: open - Opened by noraderam over 8 years ago

#227 - Maint/start 0.5.x

Pull Request - State: closed - Opened by noraderam over 8 years ago - 1 comment

#226 - Release 0.4.0

Pull Request - State: closed - Opened by noraderam over 8 years ago

#225 - MAINT: Update changelog for upcoming 0.4.0

Pull Request - State: closed - Opened by noraderam over 8 years ago - 1 comment

#224 - Release 0.3.2

Pull Request - State: closed - Opened by cournape over 8 years ago

#223 - Release 0.3.2

Pull Request - State: closed - Opened by cournape over 8 years ago

#222 - Merge pull request #219 from enthought/feat/min-unsat

Pull Request - State: closed - Opened by cournape over 8 years ago

#221 - BUG: fix index.json -> yaml script.

Pull Request - State: open - Opened by cournape over 8 years ago

#220 - ENH: Optionally ignore installed packages

Pull Request - State: closed - Opened by noraderam over 8 years ago - 6 comments

#219 - Function to compute some minimal unsatisfiable subsets

Pull Request - State: closed - Opened by cournape over 8 years ago - 4 comments

#218 - FIX: Do not suggest literals without clauses

Pull Request - State: closed - Opened by noraderam over 8 years ago - 16 comments

#217 - Policy should never suggest literal for which it lacks clauses

Issue - State: closed - Opened by noraderam over 8 years ago
Labels: bug

#216 - Allow writing of scenarios

Issue - State: open - Opened by noraderam over 8 years ago
Labels: enhancement

#215 - Fix for the case when an unrelated package is installed.

Pull Request - State: closed - Opened by agrawalprash over 8 years ago - 18 comments

#214 - Add `remove` method to `constraints.ConstraintModifiers`

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

#213 - Maint/release 0.3.1

Pull Request - State: closed - Opened by cournape over 8 years ago

#212 - MAINT: update changelog for upcoming 0.3.1.

Pull Request - State: closed - Opened by cournape over 8 years ago

#211 - ENH: Request and ConstraintModifiers tweaks

Pull Request - State: closed - Opened by noraderam over 8 years ago - 1 comment
Labels: enhancement

#210 - Merge pull request #209 from enthought/bug/asserted-requirement

Pull Request - State: closed - Opened by cournape over 8 years ago

#209 - Bug/asserted requirement

Pull Request - State: closed - Opened by johntyree over 8 years ago - 5 comments

#208 - Release 0.3.0 v2

Pull Request - State: closed - Opened by cournape over 8 years ago

#207 - Release 0.3.0 v2

Pull Request - State: closed - Opened by cournape over 8 years ago

#206 - Release 0.3.0

Pull Request - State: closed - Opened by cournape over 8 years ago - 1 comment

#205 - MAINT: start 0.4.x.

Pull Request - State: closed - Opened by cournape over 8 years ago

#204 - Maint/update changelog

Pull Request - State: closed - Opened by cournape over 8 years ago - 1 comment

#203 - Maint/backport changelogs

Pull Request - State: closed - Opened by cournape over 8 years ago

#202 - FIX: Don't set modifiers for non-InstallRqmnts

Pull Request - State: closed - Opened by noraderam over 8 years ago - 5 comments

#201 - Add explanation about the various Requirement types.

Pull Request - State: closed - Opened by johntyree over 8 years ago - 2 comments

#200 - BUG: call to asdict must be deterministic

Pull Request - State: closed - Opened by johntyree over 8 years ago - 1 comment

#196 - ENH: Use attributes for Request

Pull Request - State: closed - Opened by noraderam over 8 years ago - 1 comment

#195 - ENH: api functions for simplifying and satisfying requests

Pull Request - State: closed - Opened by johntyree over 8 years ago - 4 comments

#194 - Add "provides" package metadata.

Pull Request - State: closed - Opened by johntyree over 8 years ago - 3 comments

#193 - BUG: fix package name parsing in requirement

Pull Request - State: closed - Opened by johntyree over 8 years ago - 1 comment

#179 - TST: update scenario name for marked test

Pull Request - State: closed - Opened by johntyree over 8 years ago - 1 comment

#176 - Support iteration over packages in a pool

Issue - State: closed - Opened by noraderam over 8 years ago

#168 - [WIP] Add function to recover list of satisfying packages

Pull Request - State: closed - Opened by johntyree over 8 years ago - 3 comments

#166 - Fix full package name parsing

Pull Request - State: closed - Opened by johntyree over 8 years ago - 5 comments

#150 - Document the internals.

Issue - State: open - Opened by johntyree over 8 years ago

#147 - Support ad-hoc tightening of constraints 2

Pull Request - State: closed - Opened by johntyree over 8 years ago - 2 comments

#131 - [WIP] Introduce priority queue-based policy again... again

Pull Request - State: open - Opened by johntyree over 8 years ago - 1 comment