Kotlin/Java API for various SMT solvers
☆39Jun 9, 2026Updated 2 weeks ago
Alternatives and similar repositories for ksmt
Users that are interested in ksmt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- fast and effective way to access and analyze java bytecode☆33Dec 10, 2025Updated 6 months ago
- AI agent for JetBrains IDEs: debugger, refactorings, and symbol navigation via IDE — fewer tokens, more precision☆14Jun 17, 2026Updated last week
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- A platform for analysis of Java bytecode☆39Oct 14, 2024Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer