Repository navigation

python-sat: update packages - #3707

Draft

riseproject-dev[bot] wants to merge 5 commits into

mainfrom

package/python-sat

Draft

python-sat: update packages#3707
riseproject-dev[bot] wants to merge 5 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