Reverse Dependencies of z3-solver
The following projects have a declared dependency on z3-solver:
- acsploit — A tool for generating worst-case inputs for algorithms
- alhazen-py — Python version of the debugging tool Alhazen
- AnyHR — Library implementing hit-and-run methods for sampling open bounded sets.
- artur-qiskit — Software for developing quantum computing programs
- artur-qiskit-terra — Software for developing quantum computing programs
- bppy — BPpy: Behavioral Programming In Python
- causal-testing-framework — A framework for causal testing using causal directed acyclic graphs.
- claripy — An abstraction layer for constraint solvers
- cloudsecpy — Library and toolkit for formally analyzing security policies in cloud systems using Python.
- colour-stacking — Optimisation of coloured line thickness when displaying maps
- comgen — explore chemical compositions
- concordia-harmony — no summary
- cpraa — A checker for probabilistic abstract argumentation
- crosshair-tool — Analyze Python code for correctness using symbolic execution.
- cryptanalysis — Automated cryptanalysis library for substitution permutation network
- cryptonita — Cryptanalysis swiss army knife
- deal-solver — z3-powered solver (theorem prover) for deal.
- demystify — Demystify is a tool which allows puzzles to be expressed in a high-level constraint programming language and uses MUSes to automatically produce descriptions of steps in the puzzle solving.
- exo-lang — Exo: Exocompiled Array Language
- flamapy-smt — This repo host the SMT model concrete classes
- generativemagic — Generative magic uses computer science, mathematics, design and statistics to generate new magic.
- grammar-to-regex — Conversion of a (sub) grammar to (approximated) regular expressions.
- grilops — GRId LOgic Puzzle Solver
- halmos — A symbolic testing tool for EVM smart contracts
- hhlpy — Prove hybrid programs correct using Hybrid Hoare Logic
- horus-compile — Use formally verified annotations in your Cairo code
- hwtypes — Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
- idp-engine — IDP-Z3 is a reasoning engine for knowledge represented using the FO(.) (aka FO-dot) language.
- idp-solver — IDP-Z3 is a collection of software components implementing the Knowledge Base paradigm using the IDP language and a Z3 SMT solver.
- int3 — Tools and libraries for the aspiring shellcoder.
- isla-solver — The ISLa Input Specification Language and its solver.
- islearn — ISLearn (Learning ISLa input invariants)
- junctionart — Procedural HD Map and Intersection Generator
- klara — Automatic test case generation and static analysis library
- laser-ethereum — Symbolic Ethereum virtual machine
- librecell-layout — CMOS standard cell generator.
- manticore — Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
- mqt.qecc — QECC - An MQT Tool for Quantum Error Correcting Codes
- nnsmith — "Automatic DNN generation for fuzzing and more."
- octopus — Security analysis framework for WebAssembly module (wasm) and Blockchain Smart Contract (BTC/ETH/EOS/NEO).
- OfficialEye — AI-powered generic document-analysis tool
- olsq — Optimal Layout Synthesis for Quantum Computing (OLSQ) for mapping and scheduling quantum circuits
- oyente — An analysis tool for smart contracts
- paml-check — PAML Checker
- piacere-doml-synthesis — Synthetize DOML from user requirements
- plcrex — PLCreX - Simplification, Transformation, Analysis, and Validation of IEC 61131-3 Programmable Logic Controllers
- predicate-dev-test — no summary
- ProcessScheduler — A Python package for automatic and optimized resource scheduling
- proof_frog — A tool for verifying game-hopping proofs
- pykg-manager — A proposal Fable Python package manager
- pyomo — Pyomo: Python Optimization Modeling Objects
- python-ta — Code checking tool for teaching Python
- qiskit — An open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
- qiskit-terra — Software for developing quantum computing programs
- rooted-tree-classifier — A command-line tool for automatically classifying LCL problems on rooted trees.
- ropgenerator — ROPGenerator makes ROP exploits easy by finding and chaining gadgets
- simpleSketch — Program Synthesis by Sketching
- slither-tcheck — typechecking tool extension of slither
- smartalloc — Resource allocation using an SMT solver.
- sudoku-solve — A small sudoku solver
- symbolicai — A Neuro-Symbolic Framework for Python
- taupy — A Python package to study the theory of dialectical structures
- tcheck — Abstract type inference for smart contracts
- tealang — Tea: A High-level Language and Runtime System to Automate Statistical Analysis
- tsnkit — A simple scheduling toolkit for time-sensitive network in Python.
- upSmtEngine — Engine for unified-planning, implementing a SMT solver.
- wadl-planner — route planner for UAV surveys
- whitesymex — Symbolic execution engine for Whitespace language.
- wise-se — A Python re-implementation of the proven-correct symbolic executor WiSE
- z3gi — Grammatical inference using the Z3 SMT solver
- z3log — no summary
- z4-solver — z3++
- zeuscloud-iamspy — ZeusCloud fork of IAMSpy
1