batsat-0.5.0
- batsat 0.5.0
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- c-cube
- Dependencies
- bit-vec ^0.5.0 normal
  log ^0.4 normal
- Versions
- 39% of the crate is documented
Platform
Feature flags

Rust

☰

Type Definition BasicSolver

[−][src]Type Definition batsat::BasicSolver

type BasicSolver = Solver<BasicCallbacks>;

Basic solver, with basic callbacks and no theory.

Use this if you just want a normal SAT solver.