1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
use std::path::PathBuf;
use structopt::StructOpt;
#[derive(Debug, StructOpt)]
#[structopt(
name = "splr",
about = "SAT solver for Propositional Logic in Rust, version 0.1.0"
)]
pub struct Config {
#[structopt(long = "cl", default_value = "18000000")]
pub clause_limit: usize,
#[structopt(long = "eg", default_value = "0")]
pub elim_grow_limit: usize,
#[structopt(long = "el", default_value = "100")]
pub elim_lit_limit: usize,
#[structopt(long = "ra", default_value = "3500")]
pub restart_asg_samples: usize,
#[structopt(long = "rl", default_value = "50")]
pub restart_lbd_samples: usize,
#[structopt(long = "rt", default_value = "0.60")]
pub restart_threshold: f64,
#[structopt(long = "rb", default_value = "1.40")]
pub restart_blocking: f64,
#[structopt(long = "rs", default_value = "50")]
pub restart_step: usize,
#[structopt(long = "--output", short = "o", default_value = "")]
pub output_filname: String,
#[structopt(long = "--log", short = "l")]
pub use_log: bool,
#[structopt(long = "no-elim", short = "e")]
pub no_elim: bool,
#[structopt(long = "no-adaptation", short = "a")]
pub no_adapt: bool,
#[structopt(parse(from_os_str))]
pub cnf: std::path::PathBuf,
}
impl Default for Config {
fn default() -> Config {
Config {
clause_limit: 18_000_000,
elim_grow_limit: 0,
elim_lit_limit: 100,
restart_asg_samples: 3500,
restart_lbd_samples: 50,
restart_threshold: 0.60,
restart_blocking: 1.40,
restart_step: 50,
output_filname: "".to_string(),
use_log: false,
no_elim: false,
no_adapt: false,
cnf: PathBuf::new(),
}
}
}