% A list of values for the numeric symbols used in the library

% This copy is for the Missionaries and cannibals domain
% Needed for module TIME
numeric_symbol MaxTime=9

% Needed for module TRANSFER
numeric_symbol MaxAmount=3

% Needed for module BUY
numeric_symbol MaxPrice=5
