batsat-0.4.0
- batsat 0.4.0
- Docs.rs crate page
- MIT
- Links
- Repository
- Crates.io
- Source
- Owners
- c-cube
- Dependencies
- bit-vec ^0.5.0 normal
  log ^0.4 normal
- Versions
Go to latest version
Platform
Feature flags

Rust

☰

Type Definition BasicSolver

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

type BasicSolver = Solver<BasicCallbacks>;

Basic solver, with basic callbacks and no theory