- Slater问题的picat表示方法在Picat_program中，文件夹中包含必要的程序和命令
- Picat程序的实验数据在data_picat文件中，每个子文件夹中有100个实例，子文件夹名为
CXXVoters101,C表示Candidate候选项，Voters表示投票人数，CXXVoters101表示候选项为XX,投票人数为101的实验数据 - Slater问题的ASP表示方法在ASP_program中，文件夹中包含一个回答集程序，如果想要运行该ASP程序，需要自行下载clingo命令，才能运行
- 实验数据在data_asp文件夹中
Barnette-ao/picat
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|