#!/usr/bin/tcsh -f

set circuit_dir = "IMap_4lut"
set plb_cnf = "10input"
set plb_cnf_small = "7input"
set plb_cnf_dir = "cnf_files"
set results_dir = "."
set cache_dir = "."
set ext = "blif"
 
#set resynth = " -r -n 2 $plb_cnf_dir/$plb_cnf_small.cnf -n 3 $plb_cnf_dir/$plb_cnf.cnf -r -g 5 -u 600 "
set resynth = " -r -n 2 $plb_cnf_dir/$plb_cnf_small.cnf -r -g 5 -u 600 "

foreach blif_file ( "test_16MUX_opt_IMAP")
	echo circuit: blif:$circuit_dir/$blif_file.$ext

	set command = "read_blif $circuit_dir/$blif_file.$ext;SATmap $resynth -i -o $results_dir/$blif_file.out;write_blif $results_dir/$blif_file.${ext}r;"
	echo $command

	set output = `./mvsis -c "$command"`
	echo done $output
end