File: clasp2

package info (click to toggle)
clasp 3.3.5-5
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 4,716 kB
  • sloc: cpp: 69,712; ansic: 207; xml: 182; sh: 92; makefile: 28
file content (11 lines) | stat: -rwxr-xr-x 272 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
 
#!/bin/bash
# clasp: gbie1.lp unsat_01.lp is unsatisfiable
# Author: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
# Date: 2017-05-07

set -o pipefail

gringo /usr/share/doc/gringo/examples/gringo/gbie/{gbie1.lp,instances/unsat_01.lp} | clasp

result=$?
test $result -eq 20