Setup SMT solver in Github Actions
We recommend creating a README file to help people learn how to use your action. You can include this information in your README.md:
A detailed description of what the action does Required input and output arguments Optional input and output arguments Secrets the action uses Environment variables the action uses An example of how to use your action in a workflow