Expose state sorting option in prism.Prism#102

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

chrisnovakovic:prism-api-state-sortingchrisnovakovic/prism:prism-api-state-sortingCopy head branch name to clipboard