PDR with multiple properties: restart after some properties disproved
Multiple properties in PDR
Merge pull request #79 from chsticksel/master

PDR with multiple properties