Repository navigation

python-sat: update packages - #3707

Merged

riseproject-dev[bot] merged 6 commits into

mainfrom

package/python-sat

Oct 31, 2026

Merged

python-sat: update packages#3707
riseproject-dev[bot] merged 6 commits into
mainfrom
package/python-sat

Commits on Oct 23, 2026
- python-sat: Add version 1.9.dev17
  riseproject-dev[bot]
  committed
  f851c30
- python-sat: rebase the build-without-Lingeling patch onto 1.9.dev17
  
  luhenry
  authored and
  riseproject-dev[bot]
  committed
  e66b2ea
- python-sat: carry the solver licences patch to 1.9.dev17
  
  luhenry
  authored and
  riseproject-dev[bot]
  committed
  a16a494
- python-sat: fix a joined line in the 1.9.dev17 solver licences patch
  
  luhenry
  authored and
  riseproject-dev[bot]
  committed
  006c9fa
- python-sat: pick the upstream commit per version and skip the pindakaas requirement
  
  luhenry
  authored and
  riseproject-dev[bot]
  committed
  a97ea13
Commits on Oct 28, 2026
- python-sat: drop Lingeling from the new test_empty_clause and test_proof in 1.9.dev17
  luhenry
  committed
  7ec9649