Home Explore Help
Sign In
CNI
/
Prlog
2
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki

PRLOG subject in ECN

Branch: master
Branches Tags
Prlog
ZIP TAR.GZ
DricomDragon e7cb7fac68 Highlight dots in middle of lines 4 years ago
cm c132e5874f Import example code from lesson slides 4 years ago
exp bfad0d8544 Create experiment folder 4 years ago
potassco 7bf7844217 Import optimization example from potassco guide 4 years ago
syntax e7cb7fac68 Highlight dots in middle of lines 4 years ago
td fce10584a3 Exercice 5 of TD1 4 years ago
README.md 003007e80d First commit 4 years ago

README.md

Logical programming

Repository related to LPROG Centrale Nantes subject

You need clingo and clasp