诺恩

norsmt约束:用于norsmn的字符串解算器。我们提供了用于字符串约束的Norn SMT解算器的版本1.0。noran是一个表达式约束,包括noran语言的长度约束。作为Norn区别于其它SMT求解器的一个特征,Norn是在一组非循环条件假设下的一个决策过程,不受正则隶属度的限制。