Fp simplex#745

Tomaqa wants to merge 3 commits intomasterusi-verification-and-security/opensmt:masterfrom

fp-simplexusi-verification-and-security/opensmt:fp-simplexCopy head branch name to clipboard