Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: nuget: Microsoft.Z3
Z3 is a satisfiability modulo theories solver from Microsoft Research.
Linux Dependencies:
libgomp.so.1 installed
14 versions
Latest release: 12 months ago
5 dependent packages
104,209 downloads total
View more package details: https://packages.ecosyste.ms/registries/nuget.org/packages/Microsoft.Z3
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/Z3Prover%2Fz3
Dependent Repos 57
system-pclub/GCatch
Statically Detecting Go Concurrency Bugs- $(Z3_VERSION) GCatch/tools/z3/examples/dotnet/dotnet.csproj
Size: 240 MB - Last synced: 11 days ago - Pushed: 11 months ago
Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 126 MB - Last synced: about 19 hours ago - Pushed: about 21 hours ago
soniamanai2503/ECE-2023-Ing4-Finance-IA1-Gr06 Fork of jsboigeECE/ECE-2023-Ing4-Finance-IA1-Gr06
- 4.8.12 Sudoku.Z3Solvers/Sudoku.Z3Solvers.csproj
Size: 51.8 KB - Last synced: about 1 year ago - Pushed: about 1 year ago
anhvvcs/corana
Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) of IoT malware under the presence of obfuscation techniques e.g., indirect jumps and opaque predicates- $(Z3_VERSION) libs/z3/examples/dotnet/dotnet.csproj
Size: 12.5 MB - Last synced: 2 months ago - Pushed: 2 months ago
endjin/Z3.Linq
LINQ bindings for the Z3 theorem prover from Microsoft Research.- 4.8.12 solutions/Z3.Linq/Z3.Linq.csproj
Size: 465 KB - Last synced: 17 days ago - Pushed: about 1 month ago
Leanny/PKHeX_Raid_Plugin
Plugin for PKHeX to display all raids and a few more info.- 4.8.17 PKHeX_Raid_Plugin/PKHeX_Raid_Plugin.csproj
Size: 23.1 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
wintersteiger/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 121 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
my0n/Z3Sorter
Test project demonstrating some usages of Z3- 4.8.17 tests/Z3Sorter.Tests/Z3Sorter.Tests.csproj
Size: 31.3 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago
thufv/CMinor-Verifier
2022 年春季学期清华大学《软件分析与验证》课程实验平台- 4.8.11 cminor.csproj
Size: 1.32 MB - Last synced: 19 days ago - Pushed: over 1 year ago
8CBCA403/WangPluginPkm
A pkhex plugin- 4.11.2 WangPluginPkm/WangPluginPkm.csproj
Size: 231 MB - Last synced: 29 days ago - Pushed: 29 days ago
Z3Prover/FirewallChecker
A self-contained firewall checker- 4.8.12 FirewallAnalysis/FirewallAnalysis.csproj
Size: 4.24 MB - Last synced: 3 days ago - Pushed: over 2 years ago
rodamber/msc-thesis
Repo for the code and dissertation of my Master's thesis- $(Z3_VERSION) code/setwise/z3/examples/dotnet/dotnet.csproj
Size: 14.9 MB - Last synced: about 1 year ago - Pushed: about 3 years ago
qtja/seqhack
- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 111 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago
fionakillalea/conjure Fork of conjure-cp/conjure
Conjure: The Automated Constraint Modelling Tool- $(Z3_VERSION) tmp-install-z3/z3-z3-4.8.8/examples/dotnet/dotnet.csproj
Size: 136 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
jcgubbi/IGMP-zen
- 4.8.14 zentest/ICMP_test.csproj
Size: 51.7 MB - Last synced: about 1 year ago - Pushed: about 2 years ago
icse2023/submission_177
- $(Z3_VERSION) misc/code/z3/examples/dotnet/dotnet.csproj
Last synced: over 1 year ago
ehtick/Zen Fork of microsoft/Zen
A library that simplifies building verification tools in .NET- 4.11.0 ZenLib/ZenLib.csproj
Size: 1.38 MB - Last synced: 5 months ago - Pushed: 5 months ago
ptr1120/z3-patched Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 114 MB - Last synced: 4 months ago - Pushed: 4 months ago
eosfor/AzureVmCalc
A few commands to help optimize your VM costs in Azure when mapping your on-prem servers to their Azure counterparts. Comands use google or-tools and/or Microsoft Z3 to minimize target costs keeping ACUs high- 4.8.14 AzureVmCalc.csproj
Size: 53.7 KB - Last synced: about 1 year ago - Pushed: over 2 years ago
Khoury-srg/Viper
- $(Z3_VERSION) resources/z3/examples/dotnet/dotnet.csproj
Size: 70.4 MB - Last synced: about 2 months ago - Pushed: about 2 months ago
microsoft/Zen
Zen is a constraint solving library for .NET- 4.11.0 ZenLib/ZenLib.csproj
Size: 1.38 MB - Last synced: 7 days ago - Pushed: 4 months ago
herterjo/GroupMatcher
- 4.10.1 GroupMatcher/GroupMatcher.csproj
Size: 40 KB - Last synced: 7 months ago - Pushed: 7 months ago
val-verde/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 115 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
alexcere/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 114 MB - Last synced: about 2 months ago - Pushed: about 1 year ago
imandra-ai/z3
private fork of z3- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 98 MB - Last synced: 16 days ago - Pushed: about 1 year ago
Saloed/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 116 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
AnzhelaSukhanova/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 120 MB - Last synced: 11 months ago - Pushed: 11 months ago
aur3l14no/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 114 MB - Last synced: 6 months ago - Pushed: about 1 year ago
waywardmonkeys/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 120 MB - Last synced: 4 days ago - Pushed: about 2 months ago
mrkmarron/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 116 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
rajkrishnamurthy/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 115 MB - Last synced: 17 days ago - Pushed: about 1 year ago
TryItOnline/cs-mono
- 4.4.1 packages.config
Size: 79.1 KB - Last synced: about 1 year ago - Pushed: over 1 year ago
oparkerj/AdventOfCode
- 4.10.2 Z3Helper/Z3Helper.csproj
Size: 1.54 MB - Last synced: 29 days ago - Pushed: 29 days ago
fabianbs96/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 114 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
purdue-cap/DryadSynth
A SyGuS Solver- $(Z3_VERSION) StarExec/src/z3/examples/dotnet/dotnet.csproj
Size: 30.8 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
pablolevi/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Last synced: over 1 year ago
stefansiemer/z3str Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 120 MB - Last synced: 8 months ago - Pushed: 8 months ago
haowen-wu/GCatch
- $(Z3_VERSION) GCatch/tools/z3/examples/dotnet/dotnet.csproj
Last synced: over 1 year ago
dlebansais/ModelAnalyzer
- 4.11.2 ModelAnalyzer/ModelAnalyzer.csproj
- 4.11.2 ModelAnalyzer.Core/ModelAnalyzer.Core.csproj
- 4.11.2 Test/ModelAnalyzer.Test/ModelAnalyzer.Test.csproj
- 4.11.2 ModelAnalyzer.Verification/ModelAnalyzer.Verification.csproj
Size: 1.42 MB - Last synced: 8 days ago - Pushed: about 1 year ago
jfheins/Advent_of_Code
Advent of Code solvers from 2020 onwards- 4.11.2 2022/AoC_2022.csproj
Size: 899 KB - Last synced: 4 months ago - Pushed: 4 months ago
nerddtvg/aoc
Advent of Code- 4.11.2 AdventOfCode/AdventOfCode.csproj
Size: 933 KB - Last synced: about 1 year ago - Pushed: over 1 year ago
hgvk94/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 125 MB - Last synced: 7 months ago - Pushed: 7 months ago
CEisenhofer/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 122 MB - Last synced: 4 months ago - Pushed: 4 months ago
NikolajBjorner/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 124 MB - Last synced: 3 months ago - Pushed: 4 months ago
lambdaxymox/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 116 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
manhhomienbienthuy/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 121 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
ortcs/ECE-2023-Ing4-Finance-IA1-Gr02 Fork of jsboigeECE/ECE-2023-Ing4-Finance-IA1-Gr02
Projet de résolution de Sudokus en c#- 4.12.0 Sudoku.Z3Solvers/Sudoku.Z3Solvers.csproj
Size: 200 KB - Last synced: about 1 year ago - Pushed: about 1 year ago
season-lab/z3
- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 40.7 MB - Last synced: 13 days ago - Pushed: 11 months ago
CMU-SAFARI/BEER
BEER determines an ECC code's parity-check matrix based on the uncorrectable errors it can cause. BEER targets Hamming codes that are used for DRAM on-die ECC but can be extended to apply to other linear block codes (e.g., BCH, Reed-Solomon). BEER is described in the 2020 MICRO paper by Patel et al.: https://arxiv.org/abs/2009.07985.- $(Z3_VERSION) lib/z3-4.8.9/examples/dotnet/dotnet.csproj
Size: 7.5 MB - Last synced: 9 days ago - Pushed: over 3 years ago
vmishenev/misynth
- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 41 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago
USC-SQL/UnityActionAnalysis
Automatically analyze the input-handling code of Unity games to determine valid game actions- 4.10.2 OfflineAnalysis/packages.config
- 4.10.2 OfflineAnalysisTests/packages.config
Size: 114 MB - Last synced: 8 months ago - Pushed: about 1 year ago
cal-poly-csc530-2214/program-analysis-using-constraints-ziweiwu
program-analysis-using-constraints-ziweiwu created by GitHub Classroom- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 148 MB - Last synced: about 1 year ago - Pushed: about 3 years ago
deepin-community/z3
- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 5.18 MB - Last synced: 21 days ago - Pushed: 7 months ago
maciej-kuchejda/Kuchejda.OK
Optymalizacja kombinatoryczna, zadania- 4.11.2 Zad6/Kuchejda.Exercise6/Kuchejda.Exercise6.csproj
Size: 27.3 KB - Last synced: 9 months ago - Pushed: over 1 year ago
sagpant/z3
- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 48.6 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago
godefroi/advent-of-code
Advent of code puzzle solutions- 4.11.2 aoc-2020/aoc-2020.csproj
- 4.11.2 aoc-2021/aoc-2021.csproj
- 4.11.2 aoc-2022/aoc-2022.csproj
Size: 1.24 MB - Last synced: 4 months ago - Pushed: 4 months ago
killvxk/TriggerBug
Fast-Symbolic-Emulation-Engine. CTFer tool. Save time on the highway. like Angr .- $(Z3_VERSION) src/z3/examples/dotnet/dotnet.csproj
Size: 41.7 MB - Last synced: about 1 year ago - Pushed: almost 5 years ago
jsboige/MSMIN4IN32-22-MIN2-Sudoku
- 4.12.0 Sudoku.CNN/Sudoku.CNN.csproj
- 4.12.0 Sudoku.DemoZ3/Sudoku.DemoZ3.csproj
- 4.12.0 Sudoku.Z3Solvers/Sudoku.Z3Solvers.csproj
- 4.12.0 Z3.LinqBinding/Z3.LinqBinding.csproj
Size: 70.1 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
vvannini/drone_arch
- $(Z3_VERSION) Planners/KCL-Planning-SMTPlan-edda8a8/z3-master/examples/dotnet/dotnet.csproj
Size: 66.8 MB - Last synced: about 1 year ago - Pushed: over 3 years ago
jsboigeEpita/2023-EPITA-SCIA-PPC-Sudoku-CV
- 4.12.0 Sudoku.z3/Sudoku.z3.csproj
- 4.8.12 Z3.LinqBinding/Z3.LinqBinding.csproj
Size: 81.4 MB - Last synced: 17 days ago - Pushed: about 1 year ago
moste00/FlashSolve
- 4.11.2 FlashSolve.csproj
Size: 669 KB - Last synced: 9 months ago - Pushed: 9 months ago
jsboigeEpita/2023-EPITA-SCIA-PPC-Sudoku-NLP
- 4.12.0 Sudoku.Z3Solver/Sudoku.Z3Solver.csproj
Size: 94.9 MB - Last synced: 3 months ago - Pushed: 3 months ago
maeldetraverse/ECE-2022-Ing4-Finance-IA1-Gr04
- 4.8.12 Sudoku.Z3Solvers/Sudoku.Z3Solvers.csproj
Size: 27.3 KB - Last synced: about 1 year ago - Pushed: over 2 years ago
MRVAPOR/z3-master
- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 5.79 MB - Last synced: 12 months ago - Pushed: over 1 year ago
agurfinkel/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 123 MB - Last synced: 9 months ago - Pushed: 9 months ago
chopperzy/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 123 MB - Last synced: 10 months ago - Pushed: 10 months ago
shankszy08/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 123 MB - Last synced: 10 months ago - Pushed: 10 months ago
RynKings/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 114 MB - Last synced: 10 months ago - Pushed: about 2 years ago
EmmaJaneBonestell/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 113 MB - Last synced: 18 days ago - Pushed: about 2 years ago
delofson0211/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 36.9 MB - Last synced: 10 months ago - Pushed: almost 5 years ago
austingod/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 117 MB - Last synced: 10 months ago - Pushed: over 1 year ago
IFEIFEI/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 36.1 MB - Last synced: 10 months ago - Pushed: about 5 years ago
aytey/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 119 MB - Last synced: 19 days ago - Pushed: about 1 year ago
xiejiajun/GCatch Fork of system-pclub/GCatch
Statically Detecting Go Concurrency Bugs- $(Z3_VERSION) GCatch/tools/z3/examples/dotnet/dotnet.csproj
Size: 85.5 MB - Last synced: 22 days ago - Pushed: about 3 years ago
Ailuras/prob-smt
- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 10.2 MB - Last synced: 8 months ago - Pushed: 8 months ago
zhuyutian57/z3-slidpa
- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 6.09 MB - Last synced: 9 months ago - Pushed: 9 months ago
sillagiusti/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 114 MB - Last synced: 10 months ago - Pushed: about 2 years ago
guangshengfan/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 121 MB - Last synced: 9 months ago - Pushed: about 1 year ago
Datarecover/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 38.5 MB - Last synced: 19 days ago - Pushed: over 4 years ago
JohnLyu2/seqhack Fork of qtja/seqhack
- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 111 MB - Last synced: 9 months ago - Pushed: almost 2 years ago
JohnLyu2/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 117 MB - Last synced: 9 months ago - Pushed: over 1 year ago
shaowei-cai-group/z3pp
- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 6.17 MB - Last synced: 25 days ago - Pushed: 25 days ago
tic-toc/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 116 MB - Last synced: 9 months ago - Pushed: over 1 year ago
mina1604/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 35.7 MB - Last synced: 21 days ago - Pushed: about 5 years ago
m-carrasco/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 119 MB - Last synced: 9 months ago - Pushed: 11 months ago
vivid04/z3 Fork of Z3Prover/z3
The Z3 Theorem Prover- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 122 MB - Last synced: 9 months ago - Pushed: about 1 year ago
efrocher/VoltorbSolver
- 4.12.0 VoltorbSolver.csproj
Size: 15.6 KB - Last synced: 8 months ago - Pushed: 8 months ago
fuqi-jia/prob-smt Fork of Ailuras/prob-smt
- $(Z3_VERSION) examples/dotnet/dotnet.csproj
Size: 8.42 MB - Last synced: 9 months ago - Pushed: 10 months ago
GennadyGS/Microsoft.Z3.Experiments
- 4.11.2 src/Microsoft.Z3.Experiments.App/Microsoft.Z3.Experiments.App.csproj
Size: 4.08 MB - Last synced: about 1 year ago - Pushed: over 1 year ago