2c96b38d8c
called LADR (Library for Automated Deduction Research). split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr) ok aja@ and thanks to landry@/robert@ too for putting up with my ranting about this..
8 lines
217 B
Bash
8 lines
217 B
Bash
#!/bin/sh
|
|
#
|
|
# $OpenBSD: prover9-mace4.sh,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
|
|
#
|
|
# Wrapper script to call the actual prover9-mace4.py script
|
|
|
|
${MODPY_BIN} ${TRUEPREFIX}/libexec/prover9/p9m4/prover9-mace4.py "$@"
|