诺恩

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