Encoding graph_colouring.enc.asp

Name graph_colouring.enc.asp
Class Tree
Submitter Barbara Nardi
Author Yuliya Lierler and Marcello Balduccini
Description
Created 2012-04-11 15:36
Modified 2012-04-11 18:30
Languages
Language Features
Compatible Instance Classes
    Input Predicates
      Output Predicates
        Encoding Parameter
          Standalone Help No
          Attributes
          Content