Minor: Example code in README.md loops infinitely. - Githubissues

regb / scala-smtlib

Scala library for parsing and printing the SMT-LIB format

MIT License

44 stars 23 forks source link

Minor: Example code in README.md loops infinitely. #50

Closed ftc closed 1 year ago