python-sat
Source code: https://github.com/pysathq/pysat
pip install python-sat --index-url https://pypi.riseproject.dev/simple/
License: MIT
Download files: python-sat-v1.9.dev15-20260928075140
Patch applied for this version: https://github.com/riseproject-dev/python-wheels/tree/main/patches/python-sat/1.9.dev15
The riscv64 wheel does not include the Lingeling solver: its licence grants use for evaluation and research only and no right to redistribute it. pysat.solvers.Lingeling and Solver(name=’lingeling’) are unavailable; the other eighteen solvers are included.