[console_scripts]
pyminisat = minisat:pyminisat

