https://github.com/nickrobison/ocaml-fact
OCaml bindings to FaCT++ reasoner
https://github.com/nickrobison/ocaml-fact
Last synced: over 1 year ago
JSON representation
OCaml bindings to FaCT++ reasoner
- Host: GitHub
- URL: https://github.com/nickrobison/ocaml-fact
- Owner: nickrobison
- Created: 2021-01-20T22:39:46.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2021-01-28T18:42:13.000Z (over 5 years ago)
- Last Synced: 2024-10-19T05:22:36.271Z (almost 2 years ago)
- Language: OCaml
- Size: 392 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 1
-
Metadata Files: