c-cube/paradox

[clone] model finder for first-order logic, from http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cs.chalmers.se/~koen/paradox/

语言：Haskell · GitHub 星标：4 · Fork：1

在 GitHub 上查看原仓库