scuttle-core-0.4.0
- scuttle-core 0.4.0
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- chrjabs
- Dependencies
- anyhow ^1.0.98 normal
  
  cadical-veripb-tracer ^0.1.0 normal
  
  clap ^4.5.36 normal optional
  
  itertools ^0.14.0 normal
  
  maxpre ^0.2.3 normal optional
  
  pigeons ^0.1.1 normal
  
  rustsat ^0.7.1 normal
  
  rustsat-cadical ^0.7.1 normal
  
  scuttle-proc ^0.2 normal
  
  thiserror ^2.0.12 normal
  
  tempfile ^3.19.1 dev
- Versions
- 75.49% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs
- About docs.rs
- Privacy policy

Rust

scuttle_core0.4.0

In scuttle_core::algs

scuttle_core::algs

Function default_blocking_clause

pub fn default_blocking_clause(sol: Assignment) -> Clause

Expand description

The default blocking clause generator