#! /bin/bash

# To start using:
# - Install wine
#       For example using HomeBrew:
#           brew install wine
#       ProbLog expects `wine` to be available on the PATH.
# - Download c2d_windows.exe and rename it to cnf2dDNNF.exe
#       see http://reasoning.cs.ucla.edu/c2d/
# - Rename this file to 'cnf2dDNNF' to activate

wine ${BASH_SOURCE[0]}.exe $*