DricomDragon
7bf7844217
Import optimization example from potassco guide
|
5 năm trước cách đây | |
|---|---|---|
| cm | 5 năm trước cách đây | |
| exp | 5 năm trước cách đây | |
| potassco | 5 năm trước cách đây | |
| syntax | 5 năm trước cách đây | |
| td | 5 năm trước cách đây | |
| README.md | 5 năm trước cách đây |
README.md
Logical programming
Repository related to LPROG Centrale Nantes subject
You need clingo and clasp