import gecode as a library

This commit is contained in:
Denys Duchier 2011-09-02 14:23:35 +02:00
parent a9c737e532
commit 33f1566a81
4 changed files with 4 additions and 4 deletions

View File

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

View File

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

View File

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

View File

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