git clone https://github.com/IgorPietrzak/P-colouings-of-braid-knots.git ./Knots
cd Knots && cargo build --release
./target/release/knots <n> <braid_representation> <p>
n: Number of strands in the n-braid.
braid_representation: Sequence of crossings in the braid e.g. s1_s2_-s1.
p: Number of colours.
2-braid with s1 applied 3 times:
To find the number of 3-colourings we run:
./target/release/knots 2 s1_s1_s1 3
output:
number of 3-colourings: 9