Pass LP results for multi-objective achievability queries#244

Chickenpowerrr wants to merge 1 commit intoprismmodelchecker:masterprismmodelchecker/prism:masterfrom

Chickenpowerrr:mo-lp-resultsChickenpowerrr/prism:mo-lp-resultsCopy head branch name to clipboard