#! /bin/sh

# ----------------------------------------------------------------------
# Change this variables content to change linked minisat version:
# ----------------------------------------------------------------------

minisat_ver=1.14
minisat_zip=MiniSat_v${minisat_ver}_src.zip
minisat_dir=MiniSat_v${minisat_ver}

# ----------------------------------------------------------------------
minisat_link=../${minisat_dir}