Crate rustsat_batsat

rustsat-batsat - Interface to the BatSat SAT Solver for RustSAT

Interface to the BatSat incremental SAT-Solver to be used with the RustSAT library.

BatSat is fully implemented in Rust which has advantages in restricted compilation scenarios like WebAssembly.

BatSat Version

The version of BatSat in this crate is Version 0.5.0.

Structs

• Solver
  RustSAT wrapper for a batsat::Solver Solver from BatSat

Type Aliases

• BasicSolver
  RustSAT wrapper for batsat::BasicSolver