batsat-0.2.0
- batsat 0.2.0
- 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
  smallvec ^0.6 normal
- Versions
- 32.86% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

Module callbacks

Structs
Traits

Module batsat::callbacks

Structs

Basic set of callbacks

Progress indicator from the SAT solver.

Traits

Basic callbacks to the solver