nnf>=0.1.0

[pysat]
python-sat>=0.1
