facebookarchive / Rust-SMT-LIB-API
An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.
☆36Updated 5 years ago
Alternatives and similar repositories for Rust-SMT-LIB-API:
Users that are interested in Rust-SMT-LIB-API are comparing it to the libraries listed below
- Program synthesis is possible in Rust☆24Updated 6 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- Transport-polymorphic, asynchronous session types for Rust☆61Updated 2 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- An experimental columnar arena☆42Updated 4 months ago
- dynamic smart pointers☆31Updated 6 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 4 years ago
- Razor is a tool for constructing finite models for first-order theories☆55Updated 2 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆51Updated 3 years ago
- Session Type EDSL for Rust☆103Updated 2 years ago
- An in-memory topological sort algorithm for trees based on Group Theory☆24Updated 3 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Wraps around a futures::Spawn and adds diagnostics to it☆32Updated 5 years ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆23Updated last week
- Combine a reader + writer into a duplex of Read + Write☆46Updated 4 years ago
- Efficient sets of bytes for Rust☆19Updated 4 years ago
- ☆37Updated 3 years ago
- A rust library for reusing heap allocations☆24Updated 5 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- A set of tools for working with datafrog☆22Updated 5 years ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆65Updated last year
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆39Updated 6 years ago
- Rust closures you can transfer over an FFI boundary☆25Updated 4 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 2 years ago
- Macros for async-std.☆38Updated 5 years ago
- model testing sugar for testing interactions on structures over time☆27Updated 5 years ago
- Typed λ-calculus in Rust☆29Updated last year
- Async readiness traits☆11Updated 5 years ago
- Perform Cargo builds inside of a sandboxed environment☆52Updated 5 years ago
- ☆24Updated 4 years ago