v0.1.11

github-actions released this 21 Oct 21:10

· 24 commits to master since this release

5f7daaa

What's Changed

Update sos and pull in new nnf-mfu by @bdevcich in #224
CRDBUMPER-vendor-new-api by @matthew-richerson in #225
Rebuild Master by @bdevcich in #227
Update nnf-sos by @bdevcich in #228
Release v0.1.11 by @bdevcich in #229

Full Changelog: v0.1.10...v0.1.11

Contributors

matthew-richerson and bdevcich

Assets 2