varisat-dimacs-0.2.2
- varisat-dimacs 0.2.2
- Permalink
- Docs.rs crate page
- MIT/Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- jix
- Dependencies
- anyhow ^1.0.32 normal
  
  itoa ^0.4.4 normal
  
  thiserror ^1.0.20 normal
  
  varisat-formula =0.2.2 normal
  
  env_logger ^0.7.1 dev
  
  proptest ^0.10.1 dev
  
  rand ^0.7.3 dev
  
  tempfile ^3.0.8 dev
  
  varisat-formula =0.2.2 dev
- Versions
- 44.74% of the crate is documented
Platform
Feature flags

Rust

☰

Crate varisat_dimacs

Version 0.2.2

Back to index

?

[−] List of all items

Structs

DimacsHeader
DimacsParser

Enums

ParserError

Functions

write_dimacs
write_dimacs_clauses
write_dimacs_header