7 lines
120 B
Plaintext
7 lines
120 B
Plaintext
|
|
||
|
|
/* just for program analysis */
|
||
|
|
|
||
|
|
:- include(gecode3_yap_hand_written).
|
||
|
|
:- include('3.7.3/gecode_yap_auto_generated').
|
||
|
|
|