[console_scripts]
ospin = openpromela.logic:command_line_wrapper

