rustsat-cadical-v0.2.2
·
355 commits
to main
since this release
Bug Fixes
- Specify c++ std version in cadical build
Documentation
- Mention broken windows build
- Add shields to READMEs
Features
- Cadical versions 1.9.[3-4]