Skip to content

Instantly share code, notes, and snippets.

@stevenroose

stevenroose/gist:0176600feda9d3a29d50

Created May 28, 2014 12:21
Show Gist options
  • Save stevenroose/0176600feda9d3a29d50 to your computer and use it in GitHub Desktop.
Save stevenroose/0176600feda9d3a29d50 to your computer and use it in GitHub Desktop.
Download ZIP
dsharp error message
Raw
gistfile1.txt
Steven-Rooses-MacBook-Pro:capsel4 steven$ python3 ~/Downloads/problog2/src/problog.py /Volumes/Data/Google\ Drive/school/irw/1ma/mettim/capsel4/part1.pl
Calling external process failed:
Command '/Users/steven/Downloads/problog2/assist/darwin/dsharp -Fnnf /var/folders/91/_k0t34l161qf90jgdsd995q40000gn/T/tmpu1jtlxz1/compile_cnf.nnf -Fgraph /var/folders/91/_k0t34l161qf90jgdsd995q40000gn/T/tmpu1jtlxz1/compile_cnf.nnf.graph -smoothNNF -disableAllLits /var/folders/91/_k0t34l161qf90jgdsd995q40000gn/T/tmpu1jtlxz1/compile_cnf' returned -11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment