Merge pull request 'chore: update solver submodule' (#328) from chore/update-solver-submodule into main
sync-silo-docs.yml #556:Scheduled
Merge pull request 'feat(kcsolve): pybind11 bindings and Python solver support' (#298) from feat/solver-api-types into main
sync-silo-docs.yml #476:Scheduled