lsrcz/grisette

A monadic library for symbolic evaluation

语言：Haskell · GitHub 星标：77 · Fork：6

话题：haskell · smt · symbolic-evaluation · symbolic-execution · synthesis · verification

在 GitHub 上查看原仓库