Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Stp

Simple Theorem Prover, an efficient SMT solver for bitvectors
Stars
477
License
other
Open Issues
56
Most Recent Commit
4 months ago
Programming Language
C++
Categories
Site
Repo
Alternatives To Stp
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Stp477
4 months ago56otherC++
Simple Theorem Prover, an efficient SMT solver for bitvectors
Opensmt67
4 months ago50otherC++
The opensmt solver
Metasmt40
8 years ago7mitC++
Mosespy7
9 years agootherC++
Python interface for the Moses SMT toolkit
Alternatives To Stp
Select To Compare
Opensmt ⭐ 67
The opensmt solver
most recent commit 4 months ago
Metasmt ⭐ 40
most recent commit 8 years ago


Suggest An Alternative To stp
Alternative Project Comparisons
Stp vs Opensmt
Stp vs Metasmt
Stp vs Mosespy
Popular Smt Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
Barf Project ⭐ 1,193
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
dependent packages 1total releases 4latest release November 24, 2019most recent commit 4 years agopypi barf} Downloads
Popular Cmake Projects
Json ⭐ 38,831
JSON for Modern C++
dependent packages 9total releases 11latest release March 29, 2023most recent commit 3 months ago
Folly ⭐ 26,664
An open-source C++ library developed and used at Facebook.
dependent packages 7total releases 3latest release March 21, 2018most recent commit 3 months ago
Libuv ⭐ 22,767
Cross-platform asynchronous I/O
dependent packages 13total releases 2latest release May 09, 2018most recent commit 3 months ago
Vcpkg ⭐ 21,408
C++ Library Manager for Windows, Linux, and MacOS
total releases 22latest release September 15, 2022most recent commit 3 days ago
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Related Searches
C Cmake
C Cryptography
Cmake Cryptography
C Smt
C Symbolic Execution
C Sat Solver
Smt Sat Solver
Cmake Smt
Cmake Sat Solver
C Cnf

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Cmake
Cryptography
Smt
Symbolic Execution
Sat Solver
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.