Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Z3.rs

Rust bindings for the Z3 solver.
Stars
294
License
No license specified
Open Issues
45
Most Recent Commit
3 months ago
Programming Language
Rust
Total Downloads
cargo z3 Downloads
Dependent Repos
1
Dependent Packages
12
Total Releases
19
Latest Release
July 25, 2023
Categories
Repo
Alternatives To Z3.rs
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Z3.rs294cargo z3} Downloads1123 months ago19July 25, 202345Rust
Rust bindings for the Z3 solver.
Go Z392
3 years ago1December 28, 20194mitGo
Go (golang) bindings to the Z3 SMT Solver
Schmitty81
a year ago2otherAgda
Agda bindings to SMT-LIB2 compatible solvers.
Haskell Z354
3a year ago12May 13, 201815otherHaskell
Haskell bindings to Microsoft's Z3 API (unofficial).
Z3overlay33
2 years agomitOCaml
An overlay for the OCaml Z3 binding.
Go Z322
2 years ago4bsd-3-clauseGo
Bindings for the Z3 SMT solver
Libsmt.rs14
5 years ago14otherRust
Rust Bindings to interact with SMTLIB2 compliant solvers
Cosa211
4 years ago14otherC++
Next generation cosa.
Llvmvf8
2 years ago1Haskell
LLVM Verification Framework
Z3 Installer8
11 years agoShell
An installer for older versions of Microsoft Z3 SMT solver and its Ocaml binding under Linux (NOT MAINTAINED)
Alternatives To Z3.rs
Select To Compare
Z3.rs ⭐ 294
Rust bindings for the Z3 solver.
dependent packages 12total releases 19most recent commit 3 months agocargo z3} Downloads
Go Z3 ⭐ 92
Go (golang) bindings to the Z3 SMT Solver
total releases 1most recent commit 3 years ago
Go Z3 ⭐ 22
Bindings for the Z3 SMT solver
most recent commit 2 years ago
Cosa2 ⭐ 11
Next generation cosa.
most recent commit 4 years ago
Llvmvf ⭐ 8
LLVM Verification Framework
most recent commit 2 years ago


Suggest An Alternative To z3.rs
Alternative Project Comparisons
Z3.rs vs Go Z3
Z3.rs vs Schmitty
Z3.rs vs Haskell Z3
Z3.rs vs Z3overlay
Z3.rs vs Go Z3
Z3.rs vs Libsmt.rs
Z3.rs vs Cosa2
Z3.rs vs Llvmvf
Z3.rs vs Z3 Installer
Popular Bindings Projects
Vimium ⭐ 21,541
The hacker's browser.
most recent commit 3 months ago
Reactivecocoa ⭐ 19,955
Cocoa framework and Obj-C dynamism bindings for ReactiveSwift.
total releases 114latest release December 01, 2023most recent commit 3 months ago
Tree Sitter ⭐ 14,404
An incremental parsing system for programming tools
dependent packages 439total releases 144latest release April 09, 2023most recent commit 3 months agonpm tree-sitter-cli} Downloads
Popular Smt Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
Barf Project ⭐ 1,193
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
dependent packages 1total releases 4latest release November 24, 2019most recent commit 4 years agopypi barf} Downloads
Popular Libraries Categories
Plugin
Sdk
Bindings
Driver
Date
Adapter
Time
Location
Bridge
Wordpress Plugin
Related Searches
Rust Ffi Bindings
Rust Smt
Bindings Smt
Rust Logic Programming
Bindings Logic Programming
Bindings Smt Solver

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Rust
Bindings
Smt
Logic Programming
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.