GitHub repository: konclude/KoncludeDocker
Primary language: Shell
Created: 2019-07-03T09:24:17Z
Description: Building/compiling the Konclude reasoner with Docker