Encoding gbie_dcg.sh

Name	gbie_dcg.sh
Class Tree	[Root] Miscellaneous (45) ASP Contest 09 (45) Special-Purpose Encodings and Tools (4)
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
Languages
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	#!/bin/bash swipl --nodebug --nosignals -L0 -G0 -T0 -A0 -q -t consult$gbie_dcg$ 2>&0 /dev/null \| \ grep -o -e "UNSATISFIABLE" -e "sol.*$"

Actions