Because we needed another one of these
A solver for KTANE written in rust. Currently only supports the modules "The Button", "Wires" and "Keypad". I will hopefully add more modules in the future.
To use, first install rust and then run:
$ cargo run --release