#! /bin/sh
# Small script to run lparse | smodels

LP=/usr/bin/lparse
SM=/usr/bin/smodels

let i=1
prg=lp
while [[ i -le $# ]] ; do
	if [[ ${!i} == "--" ]] ; then
		prg=sm
	elif [[ "$prg" == "lp" ]] ; then
		lp_parms[ ${#lp_parms[@]} + 1 ]="${!i}"
	else
		
		sm_parms[ ${#sm_parms[@]} + 1 ]="${!i}"
	fi
	let i=i+1
done

"$LP" "${lp_parms[@]}" | "$SM" "${sm_parms[@]}"