Compile and Run:

$ cargo build --release
$ ./target/release/satotz ./test_formulas/sat1.sat
s SATISFIABLE
v [1, 2]

Help:

Usage: satotz <FILE>

Arguments:
  <FILE>  A dimacs cnf file

Options:
      --no-dlis  Disable DLIS decision heuristic
  -h, --help     Print help