Francisco Coelho / zugzwang

Name	Last Update	Last Commit 20cd616b – restructure folders History
..
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...