rIC3-1.4.1
- rIC3 1.4.1
- Permalink
- Docs.rs crate page
- GPL-3.0
- Links
- Repository
- crates.io
- Source
- Owners
- gipsyh
- Dependencies
- aig ^0.4.5 normal
  
  bitfield-struct ^0.11.0 normal
  
  btor ^0.2.0 normal
  
  satif-cadical ^0.2.0 normal
  
  clap ^4.5.16 normal
  
  ctrlc ^3.4.1 normal
  
  env_logger ^0.11.8 normal
  
  giputils ^0.3.4 normal
  
  satif-kissat ^0.5.0 normal
  
  log ^0.4.27 normal
  
  logicrs ^0.5.2 normal
  
  nix ^0.30.1 normal
  
  process_control ^5.0.0 normal
  
  rand ^0.9.0 normal
  
  tempfile ^3.10.1 normal
- Versions
- 17.37% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs
- About docs.rs
- Privacy policy

Rust

rIC31.4.1

All Items

Crate Items

Modules
Structs
Traits

Crate rIC3

Modules§

bmc
config
frontend
ic3
kind
portfolio
rlive
transys
wl

Structs§

Proof
Witness

Traits§

Engine