TouIST，用于逻辑的IDE和语言（由SAT、SMT和QBF解算器支持）TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers) (2021-01-12, OCaml, 0KB, 下载0次)