Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Ksmt

Kotlin/Java API for various SMT solvers
Stars
28
License
apache-2.0
Open Issues
10
Most Recent Commit
4 months ago
Programming Language
Kotlin
Dependent Packages
10
Total Releases
15
Latest Release
November 03, 2023
Categories
Site
Repo
Alternatives To Ksmt
Select To Compare
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 7 months agopypi manticore} Downloads
Liquidhaskell ⭐ 1,132
Liquid Types For Haskell
total releases 32most recent commit 3 months ago
Cryptol ⭐ 1,091
Cryptol: The Language of Cryptography
total releases 20most recent commit 3 months ago
Bsc ⭐ 850
Bluespec Compiler (BSC)
most recent commit 3 months ago
Smt ⭐ 587
Surrogate Modeling Toolbox
dependent packages 12total releases 35most recent commit 3 months agopypi smt} Downloads


Suggest An Alternative To ksmt
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Related Searches
Java Kotlin
Java Smt
Smt Satisfiability Modulo Theories
Smt Solver Satisfiability Modulo Theories
Kotlin Smt

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Java
Kotlin
Smt
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.