首页 发现 帮助
登录
CNI
/
Prlog
2
0
派生 0
文件 工单管理 0 合并请求 0 Wiki

PRLOG subject in ECN

目录树: 003007e80d
分支列表 标签列表
Prlog
ZIP TAR.GZ
DricomDragon 003007e80d First commit 5 年之前
README.md 003007e80d First commit 5 年之前

README.md

Logical programming

Repository related to LPROG Centrale Nantes subject

You need clingo and clasp