diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge branch 'master' of https://github.com/denys-duchier/yap-6.3

Browse Source
This commit is contained in:
Vitor Santos Costa 2011-09-02 23:27:54 +01:00
commit 3f9e1c2836
5 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
library/gecode/DOC.txt
View File

@ -1,10 +1,8 @@
USING THE GECODE MODULE
=======================
:- use_module(gecode).
or
:- use_module(library(gecode)).
if it is installed as a library module
CREATING A SPACE
================

2
library/gecode/disjunctor1.yap
View File

@ -16,7 +16,7 @@
%% along with this program. If not, see <http://www.gnu.org/licenses/>.
%%=============================================================================
:- use_module(gecode).
:- use_module(library(gecode)).
disjunctor1(X_,Y_) :-
Space := space,

2
library/gecode/disjunctor2.yap
View File

@ -16,7 +16,7 @@
%% along with this program. If not, see <http://www.gnu.org/licenses/>.
%%=============================================================================
:- use_module(gecode).
:- use_module(library(gecode)).
disjunctor2(X_,Y_) :-
Space := space,

2
library/gecode/send_more_money.yap
View File

@ -16,7 +16,7 @@
%% along with this program. If not, see <http://www.gnu.org/licenses/>.
%%=============================================================================
:- use_module(gecode).
:- use_module(library(gecode)).
% S E N D
% + M O R E

2
library/gecode/send_most_money.yap
View File

@ -16,7 +16,7 @@
%% along with this program. If not, see <http://www.gnu.org/licenses/>.
%%=============================================================================
:- use_module(gecode).
:- use_module(library(gecode)).
% S E N D
% + M O S T