TDacik/Astral

Solver for separation logic(s) based on translation to SMT

语言：OCaml · GitHub 星标：8 · Fork：2

话题：decision-procedure · logic · separation-logic · smt · smt-solver

在 GitHub 上查看原仓库