.
CNF
CNF
Merge branch 'master' of https://github.com/martyn82/SST
isCnf test
Merge branch 'master' of https://github.com/martyn82/SST
Merge branch 'bas'
Deliverable merge