Rust bindings for the CaDiCaL SAT solver
Almost complete safe and unsafe bindings for the CaDiCal SAT solver. Made using the cxx crate and then wrapped in a safe 1 to 1 API.
Interface to the SAT solver CaDiCaL for the RustSAT library.
Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with automatic source compilation
VeriPB proof tracer for CaDiCaL via RustSAT
A Rust wrapper around CaDiCaL for d4.
build of the Cadical SAT solver for the pindakaas crate
Rust wrapper for the CaDiCaL SAT solver
A Rust library implementing the ASPIC+ framework for structured argumentation
DEPRECATED: rssat is a Rust library that provides Rust bindings for multiple popular SAT solvers
Low-level bindings for the Bitwuzla SMT solver
A Rust crate that contains FFI bindings for IPASIR-compatible SAT solvers.
No description provided.
No description provided.