Build #277:   Merge pull request #93 from LuighiV/master Add timeout/max_iterations and force resolv... on branch master over 4 years ago

Build #1:   1.2.4 on branch master almost 7 years ago