Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "smt" keyword
Top 8.8% on pypi.org
5 versions - Latest release: about 3 years ago - 2 dependent repositories - 32 downloads last month - 605 stars on GitHub - 2 maintainers
py2many 0.2.1
Python to CLike language transpiler.5 versions - Latest release: about 3 years ago - 2 dependent repositories - 32 downloads last month - 605 stars on GitHub - 2 maintainers
yinyang 0.3.0
A fuzzing framework for SMT solvers5 versions - Latest release: almost 3 years ago - 1 dependent repositories - 29 downloads last month - 173 stars on GitHub - 1 maintainer
z3-solver-mythril 4.8.4.1
an efficient SMT solver library1 version - Latest release: over 5 years ago - 2 dependent repositories - 71 downloads last month - 9,426 stars on GitHub - 1 maintainer
z3-solver-crosshair 4.8.8.0.1
A fork of the Z3 SMT solver library for use in CrossHair.1 version - Latest release: about 4 years ago - 1 dependent package - 1 dependent repositories - 45 downloads last month - 9,422 stars on GitHub - 1 maintainer
Top 0.6% on pypi.org
35 versions - Latest release: 3 months ago - 64 dependent packages - 693 dependent repositories - 271 thousand downloads last month - 9,426 stars on GitHub - 5 maintainers
z3-solver 4.13.0.0
an efficient SMT solver library35 versions - Latest release: 3 months ago - 64 dependent packages - 693 dependent repositories - 271 thousand downloads last month - 9,426 stars on GitHub - 5 maintainers
Top 3.0% on pypi.org
1,222 versions - Latest release: over 2 years ago - 1 dependent package - 23 dependent repositories - 5.37 thousand downloads last month - 3,580 stars on GitHub - 2 maintainers
manticore 0.3.7
Manticore is a symbolic execution tool for analysis of binaries and smart contracts.1,222 versions - Latest release: over 2 years ago - 1 dependent package - 23 dependent repositories - 5.37 thousand downloads last month - 3,580 stars on GitHub - 2 maintainers
smt-portfolio 0.3.3
A simple wrapper to run multiple SMT solvers in parallel.8 versions - Latest release: 5 months ago - 51 downloads last month - 4 stars on GitHub - 1 maintainer
mastapy 13.0.2
Python scripting API for MASTA.116 versions - Latest release: about 2 months ago - 1 dependent repositories - 745 downloads last month - 37,327 stars on GitHub - 3 maintainers
Top 9.2% on pypi.org
24 versions - Latest release: almost 3 years ago - 1 dependent package - 1 dependent repositories - 496 downloads last month - 142 stars on GitHub - 1 maintainer
dreal 4.21.6.2
SMT Solver for Nonlinear Theories of Reals24 versions - Latest release: almost 3 years ago - 1 dependent package - 1 dependent repositories - 496 downloads last month - 142 stars on GitHub - 1 maintainer
Top 8.4% on pypi.org
89 versions - Latest release: 5 months ago - 6 dependent packages - 6 dependent repositories - 2.29 thousand downloads last month - 53 stars on GitHub - 1 maintainer
isla-solver 1.14.4
The ISLa Input Specification Language and its solver.89 versions - Latest release: 5 months ago - 6 dependent packages - 6 dependent repositories - 2.29 thousand downloads last month - 53 stars on GitHub - 1 maintainer
pyodbdesignlib 0.0.1
Thin Python3 wrapper for the (C++) OdbDesignLib1 version - Latest release: 12 months ago - 27 downloads last month - 9 stars on GitHub - 1 maintainer
ffg 0.1.2
A generator of fusion functions for Semantic Fusion (YinYang).3 versions - Latest release: over 1 year ago - 48 downloads last month - 2 stars on GitHub - 1 maintainer
pypapagotranslate 0.2.0
Papago Translate client for Python3 versions - Latest release: over 5 years ago - 1 dependent repositories - 31 downloads last month - 2 stars on GitHub - 1 maintainer
corpus-cleaner 0.1.0
Natural-language corpus cleaning scripts1 version - Latest release: about 8 years ago - 2 dependent repositories - 15 downloads last month - 9 stars on GitHub - 1 maintainer
cvc4-solver 1.6
an efficient SMT solver library1 version - Latest release: over 5 years ago - 1 dependent package - 1 dependent repositories - 900 downloads last month - 1 maintainer
Related Keywords
z3
6
python
5
theorem
5
prover
5
sat
4
fuzzing
3
smt-solver
3
testing
3
cvc4
2
smt-lib
2
pcb
1
parsers
1
odbplusplus
1
odb
1
kubernetes
1
eda
1
ecad
1
docker
1
dfm
1
cplusplus-17
1
cplusplus
1
cad
1
Odb++
1
Odb
1
strings
1
pcb-design
1
pcb-layout
1
pcb-manufacturing
1
rest
1
rest-api
1
cvc5
1
yinyang
1
papago
1
translate
1
wrapper
1
n2mt
1
nlp
1
corpus
1
machine-learning
1
machine-translation
1
ast
1
dart
1
golang
1
julia
1
kotlin
1
nim
1
rust
1
transpiler
1
vlang
1
binary-analysis
1
blockchain
1
emulation
1
ethereum
1
program-analysis
1
security
1
symbolic-execution
1
SMT
1
mastapy
1
masta
1
autopep8
1
code
1
codeformatter
1
formatter
1
gofmt
1
hacktoberfest
1
pre-commit-hook
1
yapf
1
dreal
1
constraints
1
grammars
1