Encoding gbie_dcg.sh

Name gbie_dcg.sh
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A command line wrapper for corresponding Prolog program (http://asp.haiti.cs.uni-potsdam.de/encoding/show/id/6082).

Usage on Linux shell: ./gbie_dcg.sh < <instance>

(Make sure that script file is executable and contains only Unix line breaks, and that SWI Prolog can be invoked as "swipl".)
Created 2009-04-01 09:42
Modified 2009-04-03 12:17
Language Features
Compatible Instance Classes
    Input Predicates
      Output Predicates
        Encoding Parameter
          Standalone Help No