Skip to content

v0.7.0
Compare
Choose a tag to compare
@ederc ederc released this 29 Jul 13:44
· 68 commits to master since this release
v0.7.0
c56341c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
  • Adds new interface to export degrevlex GBs over QQ.
  • Various bug fixes, e.g. edge cases in f4sat.
Assets 2
Loading