uuverifiers/ostrich

An SMT Solver for string constraints

语言：Scala · GitHub 星标：56 · Fork：12

话题：regular-expressions · smt-solver · strings · theorem-prover · theorem-proving

在 GitHub 上查看原仓库