vallstlocal.sh

#!/bin/sh

# Usage: ./vallstlocal.sh problemfile [vallstoptions]

# Repeatedly calls ./vallst to solve a boolean constraint problem.
# Just like vallst.sh but uses "./vallst" instead of "vallst" as the vallst
# command. See vallst.sh for more.

#set -x

# The directory where temporary files are saved. Any model is also saved here.
tmpdir="/tmp"

# Name to evoke vallst with.
vallstcom="./vallst"

# Include the core script.
. vallst.sh

---