Revise description of SAT-Assembler