Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance mpsp98-2

Name	mpsp98-2
Classes	[Root]    Puzzles (806)    MinimumPostageStampProblem (6)
Submitter	Oliver Matheis
Author	Oliver Matheis
Description
Created	2011-10-28 22:11
Modified	2011-10-28 22:11
Languages	Facts
Language Features	Optimization Choice rules
Compatible Encodings	minimum_postage_stamp_problem.gringo
Output Predicates	bound/1 limit/1
Tags:
Attributes
Content	% http://www.dradio.de/dlf/sendungen/mathekalender/1345559/ bound(98). limit(2).