univerz / bbc Goto Github PK

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 machine
• validate - compare the generated proofs with other bbchallenge's "deciders"
• prove - prove machines en masse