A Scala implementation of MiniSAT