Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 0.6% on pypi.org
Top 0.6% downloads on pypi.org
Top 0.3% dependent packages on pypi.org
Top 0.5% dependent repos on pypi.org
Top 1.1% forks on pypi.org
Top 1.1% docker downloads on pypi.org
Top 0.6% downloads on pypi.org
Top 0.3% dependent packages on pypi.org
Top 0.5% dependent repos on pypi.org
Top 1.1% forks on pypi.org
Top 1.1% docker downloads on pypi.org
pypi.org : z3-solver
an efficient SMT solver library
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/z3-solver
Keywords: z3, smt, sat, prover, theorem
License: MIT
Latest release: 3 months ago
First release: over 7 years ago
Dependent packages: 64
Dependent repositories: 693
Downloads: 275,174 last month
Stars: 9,426 on GitHub
Forks: 1,440 on GitHub
Docker dependents: 31
Docker downloads: 26,842
Total Commits: 15684
Committers: 315
Average commits per author: 49.79
Development Distribution Score (DDS): 0.429
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: about 1 hour ago
Top 0.7% on pypi.org
155 versions - Latest release: 24 days ago - 198 dependent packages - 987 dependent repositories - 281 thousand downloads last month - 4,567 stars on GitHub - 1 maintainer
qiskit 1.1.0
An open-source SDK for working with quantum computers at the level of extended quantum circuits, ...155 versions - Latest release: 24 days ago - 198 dependent packages - 987 dependent repositories - 281 thousand downloads last month - 4,567 stars on GitHub - 1 maintainer
model-checker 0.3.1
A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory...53 versions - Latest release: 25 days ago - 3.86 thousand downloads last month - 1 stars on GitHub - 2 maintainers
z3log 2.2.13
25 versions - Latest release: 25 days ago - 289 downloads last month - 1 maintainerhalmos 0.1.13
A symbolic testing tool for EVM smart contracts23 versions - Latest release: 27 days ago - 1 dependent repositories - 934 downloads last month - 707 stars on GitHub - 2 maintainers
jz3 0.1.12
A simple wrapper for Z3 solver12 versions - Latest release: about 1 month ago - 1.04 thousand downloads last month - 0 stars on GitHub - 1 maintainer
graphix 0.2.12
Optimize and simulate measurement-based quantum computation16 versions - Latest release: about 1 month ago - 2 dependent packages - 1 dependent repositories - 190 downloads last month - 46 stars on GitHub - 2 maintainers
Top 1.2% on pypi.org
65 versions - Latest release: about 1 month ago - 86 dependent packages - 234 dependent repositories - 394 thousand downloads last month - 1,876 stars on GitHub - 4 maintainers
pyomo 6.7.2
Pyomo: Python Optimization Modeling Objects65 versions - Latest release: about 1 month ago - 86 dependent packages - 234 dependent repositories - 394 thousand downloads last month - 1,876 stars on GitHub - 4 maintainers
Top 5.0% on pypi.org
20 versions - Latest release: about 1 month ago - 2 dependent packages - 3 dependent repositories - 3.73 thousand downloads last month - 1,097 stars on GitHub - 1 maintainer
concrete-python 2.6.1
A state-of-the-art homomorphic encryption framework20 versions - Latest release: about 1 month ago - 2 dependent packages - 3 dependent repositories - 3.73 thousand downloads last month - 1,097 stars on GitHub - 1 maintainer
Top 3.2% on pypi.org
224 versions - Latest release: about 1 month ago - 4 dependent packages - 60 dependent repositories - 22.1 thousand downloads last month - 264 stars on GitHub - 6 maintainers
claripy 9.2.102
An abstraction layer for constraint solvers224 versions - Latest release: about 1 month ago - 4 dependent packages - 60 dependent repositories - 22.1 thousand downloads last month - 264 stars on GitHub - 6 maintainers
causal-testing-framework 7.0.0
A framework for causal testing using causal directed acyclic graphs.25 versions - Latest release: about 1 month ago - 102 downloads last month - 11 stars on GitHub - 1 maintainer
cryptonita 0.6.3
Cryptanalysis swiss army knife9 versions - Latest release: about 2 months ago - 140 downloads last month - 12 stars on GitHub - 1 maintainer
recordflux 0.21.0
A toolset for the formal specification and generation of verifiable binary parsers, message gener...23 versions - Latest release: about 2 months ago - 1 dependent package - 1 dependent repositories - 272 downloads last month - 101 stars on GitHub - 3 maintainers
librecell-layout 0.0.23
DEPRECATED - use `lclayout` package instead - CMOS standard-cell layout generator.9 versions - Latest release: about 2 months ago - 1 dependent package - 2 dependent repositories - 176 downloads last month - 0 stars on codeberg.org - 1 maintainer
orthobase 0.1
A module to perform the multiplet decomposition using Young tables and construct the correspondin...1 version - Latest release: 2 months ago - 11 downloads last month - 0 stars on GitHub - 1 maintainer
fado 2.2.0
A library of tools to manipulate formal languages' representations mainly automata and regular e...6 versions - Latest release: 2 months ago - 1 dependent repositories - 176 downloads last month - 1 maintainer
Top 2.9% on pypi.org
313 versions - Latest release: 2 months ago - 2 dependent packages - 35 dependent repositories - 4.17 thousand downloads last month - 3,733 stars on GitHub - 2 maintainers
mythril 0.24.8
Security analysis tool for Ethereum smart contracts313 versions - Latest release: 2 months ago - 2 dependent packages - 35 dependent repositories - 4.17 thousand downloads last month - 3,733 stars on GitHub - 2 maintainers
Top 5.8% on pypi.org
54 versions - Latest release: 3 months ago - 2 dependent packages - 6 dependent repositories - 8.85 thousand downloads last month - 945 stars on GitHub - 1 maintainer
crosshair-tool 0.0.54
Analyze Python code for correctness using symbolic execution.54 versions - Latest release: 3 months ago - 2 dependent packages - 6 dependent repositories - 8.85 thousand downloads last month - 945 stars on GitHub - 1 maintainer
proof_frog 0.1.1
A tool for verifying game-hopping proofs2 versions - Latest release: 3 months ago - 12 downloads last month - 7 stars on GitHub - 1 maintainer
grammar-to-regex 1.0.1
Conversion of a (sub) grammar to (approximated) regular expressions.6 versions - Latest release: 3 months ago - 1 dependent package - 908 downloads last month - 6 stars on GitHub - 1 maintainer
comgen 0.0.21
explore chemical compositions19 versions - Latest release: 3 months ago - 67 downloads last month - 1 maintainer
Top 0.8% on pypi.org
71 versions - Latest release: 3 months ago - 71 dependent packages - 350 dependent repositories - 123 thousand downloads last month - 4,567 stars on GitHub - 1 maintainer
qiskit-terra 0.46.1
Software for developing quantum computing programs71 versions - Latest release: 3 months ago - 71 dependent packages - 350 dependent repositories - 123 thousand downloads last month - 4,567 stars on GitHub - 1 maintainer
plcrex 2.0.0
PLCreX - Simplification, Transformation, Analysis, and Validation of IEC 61131-3 Programmable Log...5 versions - Latest release: 4 months ago - 48 downloads last month - 53 stars on GitHub - 1 maintainer
officialeye 1.2.2
AI-powered generic document-analysis tool7 versions - Latest release: 4 months ago - 64 downloads last month - 5 stars on GitHub - 1 maintainer
symbolicai 0.6.1 💰
A Neuro-Symbolic Framework for Python68 versions - Latest release: 4 months ago - 1 dependent repositories - 605 downloads last month - 895 stars on GitHub - 1 maintainer
geneticengine 0.8.5
Genetic Programming with Types and Grammars48 versions - Latest release: 4 months ago - 1 dependent repositories - 142 downloads last month - 32 stars on GitHub - 1 maintainer
flamapy-smt 1.3.3
This repo host the SMT model concrete classes11 versions - Latest release: 4 months ago - 171 downloads last month - 0 stars on GitHub - 1 maintainer
processscheduler 2.0.0
A Python package for automatic and optimized resource scheduling15 versions - Latest release: 4 months ago - 1 dependent repositories - 113 downloads last month - 55 stars on GitHub - 1 maintainer
lclayout 0.0.18
CMOS standard-cell layout generator.3 versions - Latest release: 4 months ago - 1 dependent repositories - 25 downloads last month - 9,881 stars on GitHub - 1 maintainer
dyna 0.9
2 versions - Latest release: 5 months ago - 26 downloads last month - 1 maintainerartur-qiskit 0.45.2
Software for developing quantum computing programs2 versions - Latest release: 5 months ago - 10 downloads last month - 4,462 stars on GitHub - 1 maintainer
artur-qiskit-terra 0.45.2
Software for developing quantum computing programs2 versions - Latest release: 5 months ago - 1 dependent package - 23 downloads last month - 4,567 stars on GitHub - 1 maintainer
artur-test-qiskit-terra 3.0.0 removed
Software for developing quantum computing programs2 versions - Latest release: 5 months ago - 4,240 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
bppy 1.0.1
BPpy: Behavioral Programming In Python14 versions - Latest release: 5 months ago - 2 dependent repositories - 135 downloads last month - 8 stars on GitHub - 1 maintainer
tsnkit 0.2.0
A simple scheduling toolkit for time-sensitive network in Python.2 versions - Latest release: 5 months ago - 24 downloads last month - 29 stars on GitHub - 1 maintainer
Top 6.7% on pypi.org
55 versions - Latest release: 6 months ago - 45 dependent repositories - 1.09 thousand downloads last month - 89 stars on GitHub - 1 maintainer
python-ta 2.7.0
Code checking tool for teaching Python55 versions - Latest release: 6 months ago - 45 dependent repositories - 1.09 thousand downloads last month - 89 stars on GitHub - 1 maintainer
z4-solver 2023.12.6
z3++8 versions - Latest release: 6 months ago - 1 dependent repositories - 98 downloads last month - 24 stars on GitHub - 1 maintainer
folint 1.0.8
Linter for FO-dot, used in the IDP-Z3 system11 versions - Latest release: 7 months ago - 1 dependent repositories - 99 downloads last month - 4 maintainers
Top 9.7% on pypi.org
22 versions - Latest release: 7 months ago - 2 dependent packages - 5 dependent repositories - 347 downloads last month - 11 stars on GitLab.com - 3 maintainers
idp-engine 0.10.12
IDP-Z3 is a reasoning engine for knowledge represented using the FO(.) (aka FO-dot) language.22 versions - Latest release: 7 months ago - 2 dependent packages - 5 dependent repositories - 347 downloads last month - 11 stars on GitLab.com - 3 maintainers
mqt.qecc 1.5.0
QECC - An MQT Tool for Quantum Error Correcting Codes9 versions - Latest release: 8 months ago - 273 downloads last month - 76 stars on GitHub - 2 maintainers
simplesketch 0.0.8
Program Synthesis by Sketching5 versions - Latest release: 8 months ago - 23 downloads last month - 0 stars on GitHub - 1 maintainer
cloudsecpy 0.1.1
Library and toolkit for formally analyzing security policies in cloud systems using Python.2 versions - Latest release: 9 months ago - 17 downloads last month - 0 stars on GitHub - 1 maintainer
deal-solver 0.1.2
z3-powered solver (theorem prover) for deal.3 versions - Latest release: 9 months ago - 1 dependent package - 5 dependent repositories - 108 downloads last month - 8 stars on GitHub - 1 maintainer
cryptanalysis 0.0.3
Automated cryptanalysis library for substitution permutation network3 versions - Latest release: 10 months ago - 1 dependent repositories - 51 downloads last month - 21 stars on GitHub - 1 maintainer
avicenna 0.9.0
AVICENNA: Semantic Debugging2 versions - Latest release: 10 months ago - 34 downloads last month - 1 maintainer
wise-se 0.0.7
A Python re-implementation of the proven-correct symbolic executor WiSE6 versions - Latest release: 10 months ago - 31 downloads last month - 12 stars on GitHub - 1 maintainer
grilops 0.10.3
GRId LOgic Puzzle Solver21 versions - Latest release: 10 months ago - 3 dependent repositories - 234 downloads last month - 61 stars on GitHub - 1 maintainer
islearn 0.2.15
ISLearn (Learning ISLa input invariants)13 versions - Latest release: 11 months ago - 2 dependent packages - 2 dependent repositories - 110 downloads last month - 12 stars on GitHub - 2 maintainers
alhazen-py 0.0.3
Python version of the debugging tool Alhazen3 versions - Latest release: 12 months ago - 18 downloads last month - 4 stars on GitHub - 1 maintainer
upsmtengine 2023.6.26
Engine for unified-planning, implementing a SMT solver.4 versions - Latest release: 12 months ago - 27 downloads last month - 0 stars on GitLab.com - 1 maintainer
int3 0.0.1
Tools and libraries for the aspiring shellcoder.1 version - Latest release: about 1 year ago - 13 downloads last month - 1 maintainer
zeuscloud-iamspy 0.8.0
ZeusCloud fork of IAMSpy8 versions - Latest release: about 1 year ago - 89 downloads last month - 1 maintainer
concordia-harmony 1.0.0
7 versions - Latest release: about 1 year ago - 52 downloads last month - 1 maintainernnsmith 0.1.0
"Automatic DNN generation for fuzzing and more."6 versions - Latest release: about 1 year ago - 54 downloads last month - 110 stars on GitHub - 1 maintainer
taupy 0.5.0
A Python package to study the theory of dialectical structures3 versions - Latest release: over 1 year ago - 1 dependent repositories - 25 downloads last month - 1 stars on GitHub - 1 maintainer
horus-compile 0.0.6.13
Use formally verified annotations in your Cairo code2 versions - Latest release: over 1 year ago - 17 downloads last month - 8 stars on GitHub - 1 maintainer
wadl-planner 1.1.0
route planner for UAV surveys2 versions - Latest release: over 1 year ago - 1 dependent repositories - 45 downloads last month - 22 stars on GitHub - 1 maintainer
piacere-doml-synthesis 2023.1.3
Synthetize DOML from user requirements4 versions - Latest release: over 1 year ago - 1 dependent repositories - 27 downloads last month - 0 stars on GitHub - 1 maintainer
piacere-synthesis 2023.1.0 removed
Synthetize DOML from user requirements1 version - Latest release: over 1 year ago - 1 maintainer
symtest 0.0.0.11 removed
SymTest: Symbolic Bounded Model Checker for Ethereum Smart Contracts Bytecode12 versions - Latest release: over 1 year ago - 230 downloads last month - 367 stars on GitHub - 1 maintainer
eeg-to-fmri 0.0.9
EEG to fMRI Synthesis - on a new EEG view9 versions - Latest release: over 1 year ago - 57 downloads last month - 0 stars on GitHub - 1 maintainer
hhlpy 0.1.0
Prove hybrid programs correct using Hybrid Hoare Logic9 versions - Latest release: over 1 year ago - 35 downloads last month - 1 maintainer
predicate-dev-test 0.1.0
1 version - Latest release: over 1 year ago - 3 downloads last month - 1 maintainer
Top 3.0% on pypi.org
1,222 versions - Latest release: over 2 years ago - 1 dependent package - 23 dependent repositories - 4.75 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 - 4.75 thousand downloads last month - 3,580 stars on GitHub - 2 maintainers