research code (read: experimental, unreadable and full of quick hacks :)) intended to help to finally prove bb(5), see bbchallenge.org.
to run this code:
- you need recent nightly rust compiler, you can get one with rustup
- to speed up compilation (under linux), project uses mold linker - install it or remove
.cargo/config.toml
there are 3 main binaries; you can find example how to use them somewhere around main function:
tui- detailed view of proving one machinevalidate- compare the generated proofs with other bbchallenge's "deciders"prove- prove machines en masse