pub struct Config {Show 23 fields
pub c_cbt_thr: DecisionLevel,
pub c_cls_lim: usize,
pub c_timeout: f64,
pub splr_interface: bool,
pub cnf_file: PathBuf,
pub io_odir: PathBuf,
pub io_pfile: PathBuf,
pub io_rfile: PathBuf,
pub no_color: bool,
pub quiet_mode: bool,
pub show_journal: bool,
pub use_certification: bool,
pub use_log: bool,
pub crw_dcy_rat: f64,
pub cls_rdc_lbd: u16,
pub cls_rdc_rm1: f64,
pub cls_rdc_rm2: f64,
pub enable_eliminator: bool,
pub elm_cls_lim: usize,
pub elm_grw_lim: usize,
pub elm_var_occ: usize,
pub vrw_dcy_rat: f64,
pub vrw_dcy_stp: f64,
}
Expand description
Configuration built from command line options
Fields§
§c_cbt_thr: DecisionLevel
Dec. lvl to use chronoBT
c_cls_lim: usize
Soft limit of #clauses (6MC/GB)
c_timeout: f64
CPU time limit in sec.
splr_interface: bool
Build Splr interface
cnf_file: PathBuf
DIMACS CNF file
io_odir: PathBuf
Output directory
io_pfile: PathBuf
DRAT Cert. filename
io_rfile: PathBuf
Result filename/stdout
no_color: bool
Disable coloring
quiet_mode: bool
Disable any progress message
show_journal: bool
Show sub-module logging report
use_certification: bool
Writes a DRAT UNSAT certification file
use_log: bool
Uses Glucose-like progress report
crw_dcy_rat: f64
§cls_rdc_lbd: u16
§cls_rdc_rm1: f64
§cls_rdc_rm2: f64
§enable_eliminator: bool
§elm_cls_lim: usize
Max #lit for clause subsume
elm_grw_lim: usize
Grow limit of #cls in var elimination
elm_var_occ: usize
Max #cls for var elimination
vrw_dcy_rat: f64
Var Reward Decay Rate
vrw_dcy_stp: f64
Decay increment step.
Implementations§
source§impl Config
impl Config
pub fn inject_from_args(&mut self)
Trait Implementations§
Auto Trait Implementations§
impl RefUnwindSafe for Config
impl Send for Config
impl Sync for Config
impl Unpin for Config
impl UnwindSafe for Config
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more