Repository navigation

pyboolector: Add version 3.2.4.19342042739 - #3055

Draft

luhenry wants to merge 2 commits into

mainfrom

Draft

pyboolector: Add version 3.2.4.19342042739#3055
luhenry wants to merge 2 commits into
mainfrom
pyboolector

Commits on Oct 13, 2026
- Add pyboolector riscv64 wheel build
  luhenry
  committed
  3b703de
Commits on Oct 16, 2026
- Fix pyboolector riscv64 build: CMake 4 rejects btor2tools' cmake_minimum_required
  luhenry
  committed
  889f6bc