python api now returns 'None' for the value() of unassigned variables, rather than crashing.
python api now returns 'None' for the value() of unassigned variables, rather than crashing.

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