rustsat-cadical-0.4.1
- rustsat-cadical 0.4.1
- Permalink
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- chrjabs
- Dependencies
- anyhow ^1.0.86 normal
  
  cpu-time ^1.0.0 normal
  
  rustsat ^0.6.1 normal
  
  thiserror ^1.0.63 normal
  
  clap ^4.5.16 dev
  
  signal-hook ^0.3.17 dev
  
  bindgen ^0.70.0 build
  
  cc ^1.1.30 build
  
  chrono ^0.4.38 build
  
  git2 ^0.19.0 build
  
  glob ^0.3.1 build
- Versions
- 100% of the crate is documented
Platform
Feature flags

Rust

rustsat_cadical0.4.1

Crate Items

Structs
Enums

List of all items

Structs

CaDiCaL
Interrupter
InvalidApiReturn

Enums

Config
Limit