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

OccVec

In batsat::clause

Type Definition batsat::clause::OccVec

pub type OccVec<V> = SmallVec<[V; 4]>;