Fix bug in printing output for bounded reachability
Merge remote-tracking branch 'harrybharry/lpsolve' into lpsolve