sat-solvers-0.1.1
- sat-solvers 0.1.1
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- alexjackson1
- Dependencies
- log ^0.4.27 normal
  serde ^1.0 normal
  tempfile ^3.2.3 normal
  thiserror ^2.0 normal
- Versions
- 100% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Skip to main content

All

sat_solvers0.1.1

Crate Items

Structs
Enums
Traits
Functions

List of all items

Structs

solvers::cadical::CaDiCaLExecutor
solvers::minisat::MiniSatExecutor

Enums

SATResult
SATSolverKind
SATSolversError
solvers::SATSolverError

Traits

solvers::SolverExecutor

Functions

cadical_path
ensure_solver_exists
minisat_path
run_solver
solver_path
solvers::execute_with_timeout