Encoding CarSequencing.dlv

Name CarSequencing.dlv
Class Tree
Submitter Martin Gebser
Author
Description CSPLib 001: Car Sequencing Problem - DLV spec -
author: Micaletto Davide
revised by: Marco Cadoli, Toni Mancini, Fabio Patrizi.
Created 2009-03-30 13:03
Modified 2008-11-29 00:10
Languages
Language Features
Compatible Instance Classes
    Input Predicates
      Output Predicates
        Encoding Parameter
          Standalone Help No
          Attributes
          Content