Francisco Coelho / zugzwang

Download zip

Name	Last Update	Last Commit 1e848258 – Added biblio; Added git modules; added asp exam... History
..
drafts	Loading commit data...
fplp	Loading commit data...
plp	Loading commit data...
12models_1.lp	Loading commit data...
alarm.lp	Loading commit data...
assp_pag43.lp	Loading commit data...
assp_pag46.lp	Loading commit data...
bachelor.lp	Loading commit data...
bachelor.pl	Loading commit data...
choices_01.lp	Loading commit data...
choices_02.lp	Loading commit data...
choices_03.lp	Loading commit data...
choices_04.lp	Loading commit data...
choices_05.lp	Loading commit data...
choices_06.lp	Loading commit data...
color.lp	Loading commit data...
credal_01.lp	Loading commit data...
cyclic.lp	Loading commit data...
cyclic.pl	Loading commit data...
disj.lp	Loading commit data...
double_negation.lp	Loading commit data...
ex03.lp	Loading commit data...
gcE01.lp	Loading commit data...
gcI01.lp	Loading commit data...
no_model_cyclic.lp	Loading commit data...
no_model_wa.lp	Loading commit data...
onabove.lp	Loading commit data...
p01.lp	Loading commit data...
p18.lp	Loading commit data...
p19.lp	Loading commit data...
p20.lp	Loading commit data...
pasp01.lp	Loading commit data...
pasp_general.lp	Loading commit data...
paths.lp	Loading commit data...
pdist.lp	Loading commit data...
pqr.lp	Loading commit data...
pqueens.lp	Loading commit data...
prob01.lp	Loading commit data...
prob02.lp	Loading commit data...
py_01.lp	Loading commit data...
py_02.lp	Loading commit data...
roads.lp	Loading commit data...
s.lp	Loading commit data...
toh.lp	Loading commit data...
tohE.lp	Loading commit data...
tohI.lp	Loading commit data...
tutorial_01.pl	Loading commit data...
tutotial_01.lp	Loading commit data...