Geeks
UnitTestBot
/
ksmt
Kotlin/Java API for various SMT solvers
Primary Language
Kotlin
Apache License 2.0
Apache-2.0
ksmt Home Page
ksmt GitHub
Markdown
Readme
16
Issues
30
Stargazers
2
Watchers
Watchers
dvvrd
Saint-Petersburg
korifey