ﾃｽﾄｹｰｽを実行しようとしているところまで来てるっぽいので､この辺りのことは突破されたのだとは思いますが､

これに関してはunixに書き下す方法はﾈｯﾄにはないかと思われる

antｺﾏﾝﾄﾞを､通常のunixｺﾏﾝﾄﾞへの書き下し方法をご教授下さい｡an... - Yahoo!知恵袋

某ﾁｴﾘｱﾝが､面白いことを書いてたのを見てしまったので､ﾈｯﾄ初の書き込みを :-p
＃ んな､こたあない


112行目からの targert cvc3 は､こんな感じです｡

$ (cd ../cvc3 ; /usr/bin/make)
$ cp ../cvc3/java/lib/libcvc3-3.0.0.jar ./lib

もしくは､こう｡

$ pushd ../cvc3
$ /usr/bin/make
$ popd
$ cp ../cvc3/java/lib/libcvc3-3.0.0.jar ./lib

きっと､make にはﾊﾟｽが通ってるので､/usr/bin/make じゃなく､make でも OK ｡


119行目からの target compile-tests は､こんな感じになります｡

$ mkdir ./build/test
$ CLASSPATH="./lib/junit-4.8.2.jar:./lib/js-symbolic-executor.jar: ..."
$ export CLASSPATH
$ javac -d ./build/test `find ./src -name "*.java"`

CLASSPATH は長いので､端折りました｡ｺﾛﾝ ":" で､jar ﾌｧｲﾙやﾃﾞｨﾚｸﾄﾘを区切ります｡


126行目からの target test は､ｺﾏﾝﾄﾞﾗｲﾝからではちょっと厳しいので､bash のｽｸﾘﾌﾟﾄで､こんな感じになると思います｡

LD_LIBRARY_PATH="../cvc3/java/lib:../cvc3/lib"
export LD_LIBRARY_PATH

CLASSPATH="./lib/junit-4.8.2.jar:./lib/js-symbolic-executor.jar: ..."
export CLASSPATH

list=`(cd ./build/test ; find . -type f -name "*Test.class" -print) | sed -e 's,^./,,' -e 's/\.class$//' -e "s,/,\.,g" -e '/\.RhinoTest$/d' -e '/\.Cvc3Test$/d'`

for t in $list
do
 java org.junit.runner.JUnitCore $t
done

こちらも CLASSPATH を端折ってます｡
因みに､JUnit を起動するやつは､ant の junit ﾀｽｸと､全く同じにはなりません｡



js-symbolic-executor をﾋﾞﾙﾄﾞする build.xml ですが､CVC3 のﾗｲﾌﾞﾗﾘをﾋﾞﾙﾄﾞするところ以外は､Ant のﾚﾍﾞﾙでは Windows でもいけそうな気がします｡
ただ､つまづきそうなのは CVC3 が､基本的に C++ のﾗｲﾌﾞﾗﾘだということ｡
java の API も用意されていますが､C++ のﾗｲﾌﾞﾗﾘを呼び出しているだけで､JNI というｲﾝﾀｰﾌｪｰｽに乗っかってます｡
JNI は､動的ﾘﾝｸﾗｲﾌﾞﾗﾘを要求するのですが､Windows と Unix 系ではﾌｫｰﾏｯﾄが違います｡
CVC3 の Makefile を斜め読みした感じだと､cygwin の対応はしてるっぽいですが､Windows 用の DLL を作るようにはなっていないと思います｡

http://www.cs.nyu.edu/acsys/cvc3/download.html
↑は､CVC3 のﾀﾞｳﾝﾛｰﾄﾞのﾍﾟｰｼﾞですが､Windows 版のﾊﾞｲﾅﾘが配布されていますけれども､ﾗｲﾌﾞﾗﾘは静的ﾗｲﾌﾞﾗﾘしか入っておらず､ﾌｧｲﾙの末尾が .a なので､cygwin 用だと思います｡
なので､Windows の java では､多分､動かすことができません｡

そもそも､JNI を cygwin の gcc でﾋﾞﾙﾄﾞできるかどうかも､怪しいもんです｡



多分､Linux の何かを導入して､試されているのだとは思いますので､参考程度で :-)