GitHub repository: zkincaid/srk
Primary language: OCaml
Created: 2017-10-24T14:47:36Z
Description: Symbolic Reasoning Kit