varisat-utils-0.2.0
- varisat-utils 0.2.0
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- ElchananHaas
- Dependencies
- num ^0.4 normal
  
  smallvec ^1.8.0 normal
  
  varisat ^0.2.2 normal
- Versions
- 60% of the crate is documented
Platform
Feature flags

Rust

Crate varisat_utils

List of all items

Functions

add_at_most_one
add_exactly_one
commander_exactly_one
exactly_k