% Simple example 1.
%
% Usage:
%
% lparse -d n simple_configuration_model.lp packages.lp user1.lp | smodels 0

% packages
package(mail_reader_1).
package(mail_reader_2).
package(mail_extension).
package(mail_transport_agent).

% provides
provides(mail_reader_1, mail_reader).
provides(mail_reader_2, mail_reader).

% package requirements
conflicts(mail_reader_1, mail_reader_2).
depends(mail_reader_1, mail_transport_agent).
depends(mail_reader_2, mail_transport_agent).
depends(mail_extension, mail_reader_1).
recommends(mail_reader_1, mail_extension).