Skip to content

1.3 (2020-03-09)

Compare
Choose a tag to compare
@jendrikseipp jendrikseipp released this 09 Mar 13:26
· 36 commits to main since this release
  • Test minisat with GitHub actions.