Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with z3-smt-solver

A curated list of projects in awesome lists tagged with z3-smt-solver .

- Recently synced
- Stars

https://github.com/sdasgup3/validating-binary-decompilation

Scalable Validator for Binary Lifters

compositional decompilation equivalence-checker llvm-ir validation x86-64 z3-smt-solver

Last synced: 23 Dec 2024

https://github.com/codersguild/software-analysis-pavt

Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).

analysis boogie cbmc cvc4 dafny dynamic-taint-analysis fuzzing hacktoberfest hacktoberfest2021 hoare-logic llvm sudoku-solver uclid uclid5 verification z3-smt-solver z3py

Last synced: 07 Nov 2024

https://github.com/luizzak/swift-z3

A Swift wrapper over Microsoft's Z3 Theorem Prover

swift swift-wrapper z3 z3-smt-solver

Last synced: 30 Oct 2024

https://github.com/vietdoo/draw-groups-connected-shapes

This program is designed to tackle the challenge of grouping intersecting shapes and coloring them in a unified way. By using a set of algorithms and data structures, the program is able to efficiently identify overlapping areas between shapes and assign them to the same group.

drawing oop win32 winform z3-smt-solver

Last synced: 13 Dec 2024