Fix dsatur
Reimplement changeNode
Code cleanup
Add a valgrind check to the travis tests
Merge branch 'vns-pcp-ng' of https://github.com/flowlo/pcp-vns into vns-pcp-ng
Use operators for Solution comparison and arithmetics