search

regb / scala-smtlib

Scala library for parsing and printing the SMT-LIB format
MIT License
44 stars 23 forks source link

Update to SBT 1.6.2 #48

Closed zgrannan closed 2 years ago

zgrannan commented 2 years ago

This prevents errors related to: https://github.com/sbt/sbt/issues/6558