GitHub repository: pavpanchekha/setup-z3
Primary language: JavaScript
Created: 2020-01-02T17:10:51Z
Description: Install the Z3 binary in Github Actions