Encoding latin_square_weighted.lparse

Name	latin_square_weighted.lparse
Class Tree	[Root] Unclassified (114) WeightedLatinSquareCompetition (5)
Submitter	Martin Gebser
Author
Description	Lparse program for latin_square problem Authors: Gayathri Namasivayam and Miroslaw Truszczynski Affiliation: University of Kentucky Email: {gayathri, mirek}@cs.uky.edu
Created	2009-03-30 13:03
Modified	2008-11-29 00:10
Languages	lparse
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	%% %% Lparse program for latin_square problem %% % Each block has exactly one value { square(R,C,V) } :- num(R;C;V). :- 2{ square(R,C,V) : num(V) } , num(R;C). :- { square(R,C,V) : num(V) }0 , num(R;C). % Each value occurs exactly once in each row :- 2{ square(R,C,V) : num(C) }, num(R;V). :- { square(R,C,V) : num(C) }0 , num(R;V). % Each value occurs exactly once in each column :- 2 { square(R,C,V) : num(R) }, num(C;V). :- { square(R,C,V) : num(R) } 0, num(C;V). % Assignment of the pre-assigned blocks [ square(R,C,V) : num(C) : wt(R,C,V,WE) : num(V) = WE] D :- num(R), bound(D).

Actions