Requirements

1. Conda environment CentralizedVerification with python 3.8 and requirements.txt
2. Download and unzip NuSMV 2.6.0 source (_not_ nuXmv) into a folder in the same directory as `CentralizedVerification` titled NuSMV
3. Edit `../NuSMV/NuSMV/code/nusmv/core/fsm/bdd/BddFsmPrint.c:61` and `../NuSMV/NuSMV/code/nusmv/core/enc/bdd/BddEnc.c:88` to have a higher limit for printing states. 2^32 should be sufficient.
4. Build NuSMV according to its directions, so that the binary is in `../NuSMV/NuSMV/build/bin/NuSMV`
5. Build the project in shield_sat using `cargo build --release`
6. Replace the paths (containing `[lab_group]` and `[user_name]` or similar) with paths that you like