z3-rs

MIT License

Stars
23
View Code on GitHub
Ecosystems: Rust

High-level rust bindings to the Z3 SMT solver

See https://github.com/Z3Prover/z3 for details on Z3.

Related Projects
dbgeng-rs

Rust binding for the dbgeng COM interfaces.

16 Mar 2024 10
rust-debug

println!() in debug, noop in release.

18 May 2015 2
mri-sys

Rust bindings to Mat'z Ruby Interpreter

15 May 2016 3
zod

Rust integraions with the `zod` typescript library.

22 Feb 2023 14
guile-sys

Low-level rust bindings to guile

25 Jan 2019 6
simavr-sim

High level Rust bindings to the simavr AVR simulator

02 Jul 2020 6
rust-antichess-tb-sys

Low level Rust bindings for https://github.com/tolius/antichess-tb-api

22 Jul 2024 1
coc

The calculus of constructions

28 Aug 2021 6
rust-tutorials

Miscellaneous Rust tutorials including: Rust Plugins

27 May 2019 21
rhb-specs

18 Nov 2021 5
granite-rs

Rust bindings for Granite

11 Feb 2023 12
force-directed-graph

experiment

01 Jan 2023 11
z3-sys

Low-level rust bindings to the Z3 SMT solver

28 Dec 2015 3
keybinder

Rust wrapper for Keybinder

27 Jun 2022 2
kzg

KZG commitments over BLS12-381

30 Jan 2021 25