Nonlin LA preds#790

BritikovKI wants to merge 5 commits intomasterusi-verification-and-security/opensmt:masterfrom

nonlin-la-predsusi-verification-and-security/opensmt:nonlin-la-predsCopy head branch name to clipboard