bool2cnf-0.1.9
- bool2cnf 0.1.9
- Permalink
- Docs.rs crate page
- MIT
- Links
- crates.io
- Source
- Owners
- Rose1917
- Dependencies
- cnfgen ^0.2.1 normal
  env_logger ^0.9.0 normal
  log ^0.4.17 normal
  regex ^1.7.0 normal
  rustlogic-march1917 ^0.1.0 normal
  serde ^1.0.148 normal
  serde_json ^1.0.89 normal
  varisat ^0.2.2 normal
- Versions
- 13.33% of the crate is documented
Platform
Feature flags

docs.rs

Rust

All

bool2cnf0.1.9

Crate Items

Functions

List of all items

Functions

create_variables
default_kconfig_operators
dimacs
dimacs_with_index
exact_config
parse_cnf
parse_dimacs
parse_formula
satisfiable
solve
utils::flatten_cnf
utils::flatten_dnf
utils::optimize