sat-solver 0.2.1

A SAT solver implemented in Rust, focusing on performance, efficiency and experimentation.
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
67
68
69
70
71
72
73
74
75

import os
import json

CRITERION_DIR = "target/criterion/"


def extract_benchmark_data():
    group_benchmarks = {}

    for group in os.listdir(CRITERION_DIR):
        group_path = os.path.join(CRITERION_DIR, group)
        if not os.path.isdir(group_path):
            continue

        benchmarks = []

        for benchmark in os.listdir(group_path):
            bench_path = os.path.join(group_path, benchmark, "base", "estimates.json")

            if os.path.exists(bench_path):
                with open(bench_path, "r") as f:
                    data = json.load(f)

                mean = data.get("mean", {}).get("point_estimate", None)
                std_dev = data.get("std_dev", {}).get("point_estimate", None)

                if mean and std_dev:
                    benchmarks.append((benchmark, mean, std_dev))

        if benchmarks:
            group_benchmarks[group] = benchmarks

    return group_benchmarks


def generate_latex_tables(group_benchmarks):
    latex_sections = []

    for group, benchmarks in group_benchmarks.items():
        group = group.replace("_", "-")
        label = f"\label{{tab:bench-{group}}}".replace(" ", "-")
        latex = [
            rf"\begin{{cmptable}}[h]{{Benchmark Results for {group}{label}}}",
            r"    \begin{tabular}{|l|c|c|}",
            r"        \hline",
            r"        Benchmark & Mean (ns) & Std Dev (ns) \\",
            r"        \hline",
        ]

        for name, mean, std_dev in benchmarks:
            latex.append(f"        {name} & {mean:.2f} & {std_dev:.2f} \\\\")

        latex.append(r"        \hline")
        latex.append(r"    \end{tabular}")
        label = label.replace("\\", "")
        latex.append(r"\end{cmptable}")
        latex.append("\n")

        latex_sections.append("\n".join(latex))

    return "\n".join(latex_sections)


if __name__ == "__main__":
    group_benchmarks = extract_benchmark_data()

    if group_benchmarks:
        latex_tables = generate_latex_tables(group_benchmarks)

        with open("benchmark_results.tex", "w") as f:
            f.write(latex_tables)

        print("LaTeX tables saved to benchmark_results.tex")
    else:
        print("No benchmark results found.")