Bumping version number to reflect significant new capabilities and API changes
Bumping version number to reflect significant new capabilities and API changes

sambayless/monosat,sambayless/monosat,sambayless/monosat,sambayless/monosat