Robbepop/stevia

A simple (unfinished) SMT solver for QF_ABV.

语言：Rust · GitHub 星标：36 · Fork：4

话题：bitvector · decision-procedure · smt · smtlibv2 · symbolic-execution

在 GitHub 上查看原仓库