Skip to content

cvc4-1.8

Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 13 May 16:45
· 2 commits to master since this release
Only run test-bot on macOS

Closes #59.

Signed-off-by: Andres Noetzli <[email protected]>