pymzn.Optimathsat.parser

Optimathsat.parser()

This function should return a new instance of the solver parser.