Prototype system for linear resolution with splitting.
Install a Rust toolchain: rustup is convenient for this. You will also need a static PicoSAT library somewhere linkable.
$ cargo build --release
There should now be an executable at target/release/lickety.
$ lickety --help