werg/herpderp

A framework for reasoning about your software's behavior using logic programming.

语言：Clojure · GitHub 星标：6 · Fork：0

在 GitHub 上查看原仓库