Encoding 15-puzzle_optimization2.gringo

Name 15-puzzle_optimization2.gringo
Class Tree
Submitter Oliver Matheis
Author Martin Gebser and Roland Kaminski and Oliver Matheis
Description Modified Gringo encoding of the 15-Puzzle problem. Steps needed for goal are subject to minimization.
Created 2011-07-07 12:07
Modified 2011-07-07 12:10
Language Features
Compatible Instance Classes
Input Predicates
  • entry/1
  • in0/3
  • maxtime/1
  • pos/1
  • time/1
Output Predicates
  • move/3
Encoding Parameter
    Standalone Help No