Constructor Define BrightProof_ForceSTD version for force using standard library functions. Standard library functions is slower, but more safe to use. Usualy you don't have to use it.
input string
SemVerException if there is any syntax errors.
See Implementation
Constructor Define BrightProof_ForceSTD version for force using standard library functions. Standard library functions is slower, but more safe to use. Usualy you don't have to use it.