首页 发现 帮助
登录
CNI
/
Prlog
2
0
派生 0
文件 工单管理 0 合并请求 0 Wiki
目录树: 96920e094b
分支列表 标签列表
Prlog
/
tp
/
1
/
warm_custom_const.bash

warm_custom_const.bash 48 B
文件历史 原始文件

12 
  1. #!/bin/bash -x
    2. 

  2. clingo warm_city.lp --const ts=6
    3.