#!/bin/sh
# the next line restarts using tclsh \
exec tclsh "$0" "$@"

# cat on the depths file

# Don't use levels for now

# exec echo cvar_levels >> [lindex $argv 0]
# exec cat smv.cnfdepths >> [lindex $argv 0]

exec mk83 [lindex $argv 0]
exec mv "[lindex $argv 0].sol" [lindex $argv 1]
exec mv "[lindex $argv 0].proof" ztrace.clauses
