GITLAB
Francisco Coelho
/
zugzwang
Toggle navigation
Sign in
Sign in
Project
Files
Commits
Network
Graphs
Issues
0
Merge Requests
0
Wiki
master
old-remote
aa2573772f1fc1fef653f1c808cd822d113fa56d
Download zip
Select Archive Format
Download zip
Download tar.gz
Download tar.bz2
Download tar
zugzwang
code
asp
Name
Last Update
Last Commit
aa257377
– Post meeting 2022-12-05
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...