Encoding schur_decision.gringo

Name	schur_decision.gringo
Class Tree	[Root] Unclassified (114) SchurCompetition (4)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	A Gringo encoding of the Schur numbers problem.
Created	2009-03-10 12:28
Modified	2009-03-10 14:25
Languages	Gringo 2.0.2
Language Features	Cardinality constraints Choice rules
Compatible Instance Classes	SchurCompetition
Input Predicates	assigned/2 number/1 part/1
Output Predicates	assigned/2
Encoding Parameter
Standalone	No
Tags	ASP Contest 09 (Martin Gebser)
Attributes
Content	1 { assigned(X,P) : part(P) } 1 :- number(X). :- assigned(X,P), assigned(Y,P), X <= Y, assigned(X+Y,P). #hide. #show assigned(X,P).

Actions