ksmt. Kotlin/Java API for various SMT solvers

github.com/UnitTestBot/ksmt
by @UnitTestBot

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.