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 Freeze for Config
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