资源介绍
Knotical：跟踪细化关系的推理系统
入门指南
克隆仓库
为了保护您的凭据，您可以使用以下命令克隆存储库
git clone git://github.com/knotical/knotical.git
或从URL 下载单个zip文件
使用Docker
安装Docker。 按照上的说明进行操作。 您可能需要使用sudo或类似特权运行docker命令。
建立Knotical图片：
docker build -t knotical .
运行Knotical图像：
docker run -it knotical bash
从零开始在Ubuntu上安装
注意：以下说明已在具有opam 1.2.2的Ubuntu 18.04 LTS上进行了测试。 您可能需要使用sudo特权运行apt-get命令。
安装先决条件：
apt-get clean
apt-get update
apt-g