diff --git a/packages/gecode/gecode3.yap b/packages/gecode/gecode3.yap new file mode 100644 index 000000000..7eb7ef3aa --- /dev/null +++ b/packages/gecode/gecode3.yap @@ -0,0 +1,6 @@ + +/* just for program analysis */ + +:- include(gecode3_yap_hand_written). +:- include('3.7.3/gecode_yap_auto_generated'). + diff --git a/packages/gecode/gecode4.yap b/packages/gecode/gecode4.yap new file mode 100644 index 000000000..a75afc9e2 --- /dev/null +++ b/packages/gecode/gecode4.yap @@ -0,0 +1,6 @@ + +/* just for program analysis */ + +:- include(gecode4_yap_hand_written). +:- include('4.2.1/gecode_yap_auto_generated'). +