Gravar-mail: Computing preimages of Boolean networks