Dependencies

• rust-toolchain 1.95.0
• cargo-pgo 0.3.0
• llvm 21.1.8
• llvm-bolt 21.1.8

How to run

1. cd to the root of the project i.e., where Cargo.toml is
2. Compile the project using the helper script ./build.sh
3. The binary is at ./target/x86_64-unknown-linux-gnu/release/project_4-bolt-optimized
4. Pass DIMACS problem through stdin

If the above fails, it is possible to compile the code with no optimizations by running cargo build -r. The binary will be at ./target/build/release/project_4