pumpkin-solver 0.4.0

The Pumpkin combinatorial optimisation solver library.
Documentation 
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

#![cfg(test)] // workaround for https://github.com/rust-lang/rust-clippy/issues/11024
use std::process::Command;
use std::process::Output;

mod helpers;

use helpers::Checker;
use helpers::CheckerOutput;
use helpers::Files;
use helpers::run_solution_checker;
use helpers::run_solver;

macro_rules! test_wcnf_instance {
    ($name:ident, $optimal_objective:literal) => {
        #[test]
        fn $name() {
            run_wcnf_test(stringify!($name), $optimal_objective);
        }
    };
}

test_wcnf_instance!(simple, 1);
test_wcnf_instance!(karate, 4);
test_wcnf_instance!(riskmap, 9);
test_wcnf_instance!(johnson8_2_4, 24);
#[cfg(not(feature = "check-propagations"))]
test_wcnf_instance!(johnson8_4_4, 56);
test_wcnf_instance!(normalized_g2x2, 2);
test_wcnf_instance!(normalized_g9x3, 7);
// test_wcnf_instance!(normalized_g9x9, 20);
#[cfg(not(feature = "check-propagations"))]
test_wcnf_instance!(ram_k3_n9, 1);

struct MaxSATChecker {
    expected_objective: u64,
}

impl Checker for MaxSATChecker {
    fn executable_name(&self) -> &'static str {
        "maxsat-checker"
    }

    fn prepare_command(&self, cmd: &mut Command, files: &Files) {
        let _ = cmd.arg("-o").arg(format!("{}", self.expected_objective));
        let _ = cmd.arg(&files.instance_file);
        let _ = cmd.arg(&files.log_file);
    }

    fn parse_checker_output(&self, output: &Output) -> CheckerOutput {
        if output.status.success() {
            CheckerOutput::Acceptable
        } else {
            CheckerOutput::Panic
        }
    }
}

fn run_wcnf_test(instance_name: &str, expected_objective: u64) {
    let instance_path = format!(
        "{}/tests/wcnf/{instance_name}.wcnf",
        env!("CARGO_MANIFEST_DIR")
    );
    let files = run_solver(instance_path, false);

    run_solution_checker(files, MaxSATChecker { expected_objective });
}