smt: convert back to bool where appropriate #210
test.yml
on: push
Check Semantic Versioning
19s
Check Formatting
6s
Matrix: Try Examples
Matrix: Unit Tests