set out_dir=temp
if not exist %out_dir% mkdir %out_dir%
javac -d %out_dir% -encoding UTF-8 -cp "annotations-java8.jar;org.sat4j.core.jar;org.sat4j.pb.jar;args4j-2.33.jar" src/inport/*.java src/inport/ConversionUtils/*.java
jar cfm Conversion.jar MANIFEST.MF org.sat4j.core.jar org.sat4j.pb.jar args4j-2.33.jar -C %out_dir% inport -C src constraints
rmdir /s /q %out_dir%