z3-solver | pypi | Package Usage

parlarjb/z3talk

A presentation on z3

* Pipfile
==4.8.5.0 Pipfile.lock

Size: 152 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

lucaswiman/lucaswiman.github.io

==4.8.8.0 requirements.txt

Size: 593 KB - Last synced: 12 days ago - Pushed: 3 months ago

anandimous/Air-Cargo-Planning-Search

Implemented an Air Cargo Logistics Planning System that uses planning graph based domain-independent heuristics coupled with A* search functionality on a Progression State Space

==4.5.1.0.post2 requirements.txt

Size: 2.35 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

xingweitian/checker-framework-inference Fork of opprop/checker-framework-inference

Inference of pluggable types for Java

==4.8.9.0 requirements.txt

Size: 3.71 MB - Last synced: about 1 year ago - Pushed: about 1 year ago

keyis2/Verse-library Fork of AutoVerse-ai/Verse-library

Library for modeling, simulation, and verification of interacting autonomous agents

* requirements.txt
* setup.py

Size: 82.2 MB - Last synced: 8 months ago - Pushed: 9 months ago

jgeofil/google-research Fork of google-research/google-research

Google Research

==4.8.8 smug_saliency/requirements.txt

Size: 330 MB - Last synced: 6 months ago - Pushed: almost 2 years ago

hftmmiterNune09/pytorch Fork of pytorch/pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

==4.12.2.0 .github/requirements/pip-requirements-macOS.txt
* .ci/docker/requirements-ci.txt

Size: 610 MB - Last synced: 9 months ago - Pushed: 9 months ago

stacs-cp/demystify

* setup.py

Size: 41.8 MB - Last synced: 17 days ago - Pushed: about 2 months ago

kejadlen/junk-drawer

==4.8.10.0 puzzle-hunt/2021/requirements.txt

Size: 7.02 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

gtu-nislab/dissasemblerEffect

==4.8.0.0.post1 requirements.txt

Size: 8.07 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

DeDogmaDao/dt-contracts

DemmortalTreasure protocol

==4.8.14.0 requirements.txt

Size: 5.42 MB - Last synced: about 2 months ago - Pushed: over 1 year ago

AvalZ/regrets

Use Z3 to generate strings that match multiple regex | "The plural of regex is regrets"

* requirements.txt

Size: 16.6 KB - Last synced: 6 months ago - Pushed: 6 months ago

milana2/ParallelizationForMPC

==4.9.0.0 compiler/requirements.txt

Size: 129 MB - Last synced: 4 days ago - Pushed: 9 days ago

seanfirefox/TheGrumpyNUSFreshman

* Z3Scheduler/requirements.txt

Size: 24.7 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

opendp/smartnoise-sdk

Tools and service for differentially private processing of tabular and relational data

* synth/samples/requirements.txt

Size: 93.3 MB - Last synced: 11 days ago - Pushed: 2 months ago

RsaCtfTool/RsaCtfTool

RSA attack tool (mainly for ctf) - retrieve private key from weak public key and/or uncipher data

* requirements.txt

Size: 20.4 MB - Last synced: about 19 hours ago - Pushed: about 20 hours ago

ALIGN-analoglayout/ALIGN-public

* setup.py

Size: 324 MB - Last synced: 14 days ago - Pushed: 14 days ago

pschanely/CrossHair

An analysis tool for Python that blurs the line between testing and type systems.

==4.8.9.0 setup.py

Size: 4.61 MB - Last synced: 14 days ago - Pushed: 14 days ago

RahulKushwaha762/WhatsCovidWeb

All the alerts and Announcements of COVID-19 from various sources will be available at your whatsapp number.

==4.8.7.0 requirements.txt

Size: 1.31 MB - Last synced: 12 months ago - Pushed: over 1 year ago

uds-se/fuzzingbook

Project page for "The Fuzzing Book"

>=4.8.13.0 docs/beta/notebooks/requirements.txt
>=4.8.13.0 docs/notebooks/requirements.txt
>=4.8.13.0 requirements.txt

Size: 1.13 GB - Last synced: 5 days ago - Pushed: 5 days ago

gowen100/Jane-Street-Solutions

Solutions to the Jane St monthly puzzles

* requirements.txt

Size: 35.5 MB - Last synced: 7 days ago - Pushed: 7 days ago

SalvatoreBarone/pyALS

Python implementation of the catalog-based Aig-rewriting approximate Logic Synthesis technique

* requirements.txt

Size: 1.23 MB - Last synced: 12 days ago - Pushed: about 2 months ago

cj81499/advent-of-code

Advent of code solutions

4.9.1.0 poetry.lock
^4.9.1 pyproject.toml

Size: 1.41 MB - Last synced: about 21 hours ago - Pushed: about 22 hours ago

BLooperZ/nutcracker

Tools for editing resources in SCUMM games.

4.8.14.0 poetry.lock

Size: 1.1 MB - Last synced: 12 days ago - Pushed: 25 days ago

microsoft/msccl-tools

Synthesizer for optimal collective communication algorithms

* requirements.txt
* setup.py

Size: 711 KB - Last synced: 13 days ago - Pushed: 27 days ago

rubenkindt/Masterproef-paper-RubenKindt

Thesis for computer science

* code/storm/setup.py

Size: 191 MB - Last synced: 9 months ago - Pushed: over 1 year ago

viperproject/2vyper

A static verifer for Ethereum Smart Contracts written in Vyper

==4.8.6.0 requirements.txt
* setup.py

Size: 73.2 MB - Last synced: 12 days ago - Pushed: about 1 year ago

DiANa-deobfuscation-2020/DiANa

==4.5.1.0.post2 requirements.txt

Size: 786 KB - Last synced: 7 months ago - Pushed: almost 2 years ago

paulgazz/kmax

A collection of analysis tools for Kconfig and Kbuild constraints.

* setup.py

Size: 6.13 MB - Last synced: 9 days ago - Pushed: 9 days ago

rpdelaney/dumbpw

A bad password generator for bad websites with bad password policies

4.9.1.0 poetry.lock

Size: 509 KB - Last synced: 3 days ago - Pushed: 3 days ago

Consensys/mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

>=4.8.8.0 requirements.txt

Size: 47.1 MB - Last synced: 12 days ago - Pushed: 23 days ago

yyuting/Adelta

==4.8.12.0 environment.yml

Size: 4.64 MB - Last synced: 9 months ago - Pushed: almost 2 years ago

PwnFunction/v8-randomness-predictor

Using z3 to predict `Math.random` in v8

==4.9.1.0 requirements.txt

Size: 5.86 KB - Last synced: 3 months ago - Pushed: almost 2 years ago

cea-sec/miasm

Reverse engineering framework in Python

==4.8.7.0 optional_requirements.txt

Size: 16.4 MB - Last synced: 3 days ago - Pushed: 7 days ago

marcoeilers/nagini

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

==4.8.7.0 setup.py

Size: 252 MB - Last synced: 6 days ago - Pushed: 7 days ago

TrippleCCC/COMP_550_PROJECT_5

* requirements.txt

Size: 47.9 KB - Last synced: about 1 year ago - Pushed: over 2 years ago

fkie-cad/dewolf

A research decompiler implemented as a Binary Ninja plugin.

==4.8.10 requirements.txt

Size: 3.95 MB - Last synced: 3 days ago - Pushed: 4 days ago

smartbugs/smartbugs-dashboard 📦

DEPRECATED: Web-based User Interface for SmartBugs

* smartbugs/utils/docker/smartbugs-maian/requirements.txt

Size: 2.84 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

lilott8/BioScript

The BioScript compiler, ChemStor storage, and Application Binder.

==4.8.6.0 requirements.txt

Size: 2.46 MB - Last synced: 5 months ago - Pushed: over 1 year ago

xhajnal/DiPS_deploy

==4.8.7.0 DiPS_Tool/DiPS/requirements.txt

Size: 390 MB - Last synced: 8 months ago - Pushed: 8 months ago

cottonmalone/dudu-bot

==4.8.7.0 requirements.txt

Size: 57.6 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago

samuelexferri/unibg-tvsw

Software Testing and Check project

==4.8.8.0 pharmacies/requirements.txt

Size: 149 MB - Last synced: 12 days ago - Pushed: 20 days ago

Tekkare/concrete-biopython

4.12.2.0 poetry.lock

Size: 470 KB - Last synced: 6 months ago - Pushed: 6 months ago

usagitoneko97/klara

Automatic test case generation for python and static analysis library

4.8.12.0 poetry.lock
^4.8.12 pyproject.toml

Size: 9.13 MB - Last synced: 14 days ago - Pushed: about 2 years ago

juanvergaramunoz/ML_Algorithms

Brief show cases of Machine Learning Algorithms

==4.5.1.0.post2 requirements.txt

Size: 336 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

tech-srl/Nero

Code and resources for the paper: "Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs"

==4.8.9.0 requirements.txt

Size: 18.6 MB - Last synced: 8 days ago - Pushed: almost 3 years ago

jswang/MemoryBank

Natural Language Inference to improve question answering consistency

* requirements.txt

Size: 9.63 MB - Last synced: 4 months ago - Pushed: 4 months ago

ertlnagoya/lwip-bug-finder

lwipのバグを半自動検出くん。First introduced in 「2018年暗号と情報セキュリティシンポジウム」（SCIS2018).

==4.5.1.0.post2 requirements.txt

Size: 549 KB - Last synced: 9 months ago - Pushed: over 1 year ago

maddevsio/heimdall

Ethereum Smart Contracts Security Monitoring

==4.8.0.0.post1 requirements.txt

Size: 1.59 MB - Last synced: 9 months ago - Pushed: over 1 year ago

h0rac/bn-plugin

==4.5.1.0.post2 requirements.txt

Size: 2.76 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

rindPHI/isla

The ISLa (Input Specification Language) language & solver.

>=4.8.17.0 requirements.txt
>=4.8.17.0 requirements_test.txt

Size: 27.3 MB - Last synced: 14 days ago - Pushed: 20 days ago

opprop/checker-framework-inference Fork of typetools/checker-framework-inference

Inference of pluggable types for Java

==4.8.9.0 requirements.txt

Size: 4.32 MB - Last synced: 14 days ago - Pushed: 14 days ago

makslevental/nelli 📦

A lightweight, Pythonic, frontend for MLIR

* requirements.txt

Size: 1.36 MB - Last synced: 7 months ago - Pushed: 7 months ago

ChenyangLEI/sfp-wild

[CVPR2022] Shape from Polarization for Complex Scenes in the Wild

==4.8.13.0 environment.yml

Size: 13.3 MB - Last synced: about 2 months ago - Pushed: over 1 year ago

MSiba/RSM4WSD

Master Thesis

==4.8.13.0 requirements.txt

Size: 77 MB - Last synced: 10 months ago - Pushed: almost 2 years ago

MiedzinskiBuck/Kintoun

Under Development

==4.8.12.0 requirements.txt

Size: 1.08 MB - Last synced: 6 months ago - Pushed: 6 months ago

y73n0k/cryptosploit_modules

Modules for https://github.com/SNESEAR/cryptosploit

* src/cryptosploit_modules/asymmetric/rsa/rsactftool/requirements.txt

Size: 111 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

ucsb-seclab/karonte

Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware

==4.8.8.0 karonte-viz/requirements.pip

Size: 1.18 MB - Last synced: 18 days ago - Pushed: over 2 years ago

ex0dus-0x/fuzzable

Framework for Automating Fuzzable Target Discovery with Static Analysis. Featured at Black Hat Arsenal USA 2022.

4.10.2.0 poetry.lock
==4.9.1.0 requirements.txt

Size: 1.44 MB - Last synced: 3 days ago - Pushed: 3 months ago

KevinSpevak/ml-planning-hints

* requirements.txt

Size: 2.26 MB - Last synced: 9 months ago - Pushed: about 2 years ago

jasikpark/cryptohack 📦

==4.8.13.0 .devcontainer/requirements.txt

Size: 13.7 KB - Last synced: 4 days ago - Pushed: about 2 months ago

TalatCikikci/release-buddy

Release buddy is a web based tool to track and plan optimized release cycles using NRP methodologies.

==4.8.5.0 requirements.txt

Size: 1.96 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

mit-ll-trusted-autonomy/iitchs

Core functionality for the IITCHS framework.

==4.8.8.0 environment.yml

Size: 6.34 MB - Last synced: 18 days ago - Pushed: about 2 years ago

mnemonic-no/xsoar-dockerfiles Fork of demisto/dockerfiles

Demisto's Dockerfiles and Image Build Management

==4.11.2.0 docker/demisto-sdk/Pipfile.lock

Size: 889 MB - Last synced: 23 days ago - Pushed: 23 days ago

jar-ben/tamus

==4.8.14.0 requirements.txt

Size: 7.77 MB - Last synced: 9 months ago - Pushed: almost 2 years ago

ethanluoyc/sympais

Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis in JAX

4.8.10.0 poetry.lock
<=4.8.10.0 pyproject.toml

Size: 8.15 MB - Last synced: 20 days ago - Pushed: over 1 year ago

TsafrirA/qiskit-terra Fork of Qiskit/qiskit

Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and algorithms.

>=4.7 requirements-optional.txt

Size: 114 MB - Last synced: 20 days ago - Pushed: about 1 month ago

smba/pycosa-toolbox

Loose collection of implementations for configuration sampling in Python.

* requirements.txt

Size: 155 KB - Last synced: 21 days ago - Pushed: 6 months ago

ScorpionRE/crypto

scripts

==4.10.1.0 requirements.txt

Size: 3.57 MB - Last synced: 5 months ago - Pushed: over 1 year ago

tpaviot/ProcessScheduler

A Python package for automatic and optimized resource scheduling

* doc/requirements.txt
==4.10.2.0 requirements.txt
==4.10.2.0 setup.py

Size: 12 MB - Last synced: 8 days ago - Pushed: 2 months ago

plummm/SyzScope

SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.

==4.8.10.0 requirements.txt

Size: 5.26 MB - Last synced: 4 days ago - Pushed: 8 months ago

subhasishgoswami/TokenCheck

==4.8.9.0 Saved Model/requirements.txt
==4.8.9.0 Utils/requirements.txt
==4.8.9.0 requirements.txt

Size: 24 MB - Last synced: about 1 year ago - Pushed: over 2 years ago

exo-lang/exo

Exocompilation for productive programming of hardware accelerators

==4.8.15.0 requirements.txt

Size: 37.4 MB - Last synced: about 4 hours ago - Pushed: 1 day ago

WithSecureLabs/IAMSpy

4.10.2.0 poetry.lock
* pyproject.toml

Size: 88.9 KB - Last synced: 14 days ago - Pushed: 9 months ago

cryhot/samp2symb

Python library for inferring symbolic structures (e.g., Linear temporal logic formulas, Deterministic Finite Automata) from examples (sample of traces).

* requirements.txt

Size: 105 KB - Last synced: 12 days ago - Pushed: 3 months ago

tok/librecell

CMOS standard-cell generator and characterization suite.

==4.8. librecell-layout/setup.py

Size: 2 MB - Last synced: 6 months ago

librecell/lclayout

Layout generator for CMOS standard-cells.

==4.8. setup.py

Size: 1.45 MB - Last synced: 9 months ago

mrphrazer/msynth

Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions

==4.8.7.0 miasm/optional_requirements.txt

Size: 65 MB - Last synced: 27 days ago - Pushed: 12 months ago

rindPHI/islearn

ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.

>=4.10.2.0 requirements.txt
>=4.10.2.0 requirements_test.txt

Size: 30.5 MB - Last synced: 14 days ago - Pushed: about 2 months ago

Created Symbolic Execution (SE) Engines for – Classical/Static SE, Selective SE (2 Versions), and Dynamic SE, with WLANG as the artifact; and applied them on real programs. Compared and analysed how each one fares against the other and where their specific utility may be applicable.