Описания аргументов на английском из-за проблем с кодировками.

Make.bat

 set out_dir=temp
 if not exist %out_dir% mkdir %out_dir%
-javac -d %out_dir% -encoding UTF-8 -classpath annotations-java8.jar src/inport/*.java src/inport/ConversionUtils/*.java
-jar cfe Conversion.jar inport.Main -C %out_dir% inport -C src constraints
+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%

src/inport/Main.java

@@ -70,16 +70,16 @@ public class Main {
     private static void solve(Collection<String> args) {
         try {
             class Arguments {
-                @Option(name = "-fzs", aliases = "--flat_zinc_solver", usage = "Путь к исполняемому файлу flatZinc solver-а.", forbids = {"-s"})
+                @Option(name = "-fzs", aliases = "--flat_zinc_solver", usage = "Path to executable of flatZinc solver.", forbids = {"-s"})
                 private String flatZincSolver = "";
 
-                @Argument(usage = "Путь к задаче.", required = true)
+                @Argument(usage = "Path to task.", required = true)
                 private String pathToTask = "";
 
-                @Option(name = "-ct", usage = "Тип сведения, один из " + ConversionType.legalValues + ".")
+                @Option(name = "-ct", usage = "Type of conversion, one of " + ConversionType.legalValues + ".")
                 private String conversionType = ConversionType.WithoutSplitting.text;
 
-                @Option(name = "-s", aliases = "--solver", usage = "Тип solver-а из предопределённого списка : " + Solver.SolverName.legalValues + ".",
+                @Option(name = "-s", aliases = "--solver", usage = "Solver from list : " + Solver.SolverName.legalValues + ".",
                         forbids = {"-fzs"})
                 private String solverName = Solver.SolverName.Chuffed.text;
             }
@@ -140,13 +140,13 @@ public class Main {
     private static void tippToMzn(Collection<String> args) {
         try {
             class Arguments {
-                @Argument(usage = "Путь к задаче.", required = true)
+                @Argument(usage = "Path to task.", required = true)
                 private String pathToTask = "";
 
-                @Option(name = "-ct", usage = "Тип сведения, один из " + ConversionType.legalValues + ".")
+                @Option(name = "-ct", usage = "Type of conversion, one of " + ConversionType.legalValues + ".")
                 private String conversionType = ConversionType.WithoutSplitting.text;
 
-                @Option(name = "-o", usage = "Директория, в которую будет записан ответ.")
+                @Option(name = "-o", usage = "Directory for results.")
                 private String outDir = ".";
             }
 
@@ -191,13 +191,13 @@ public class Main {
 
     private static void debug(Collection<String> args) {
         class Arguments {
-            @Option(name = "-fzs", aliases = "--flat_zinc_solver", usage = "Путь к исполняемому файлу flatZinc solver-а.", forbids = {"-s"})
+            @Option(name = "-fzs", aliases = "--flat_zinc_solver", usage = "Path to executable of flatZinc solver.", forbids = {"-s"})
             private String flatZincSolver = "";
 
-            @Option(name = "-ct", usage = "Тип сведения, один из " + ConversionType.legalValues + ".")
+            @Option(name = "-ct", usage = "Type of conversion, one of " + ConversionType.legalValues + ".")
             private String conversionType = ConversionType.WithoutSplitting.text;
 
-            @Option(name = "-s", aliases = "--solver", usage = "Тип solver-а из предопределённого списка : " + Solver.SolverName.legalValues + ".",
+            @Option(name = "-s", aliases = "--solver", usage = "Solver from list : " + Solver.SolverName.legalValues + ".",
                     forbids = {"-fzs"})
             private String solverName = Solver.SolverName.Chuffed.text;
         }
@@ -233,10 +233,10 @@ public class Main {
 
     private static void resolveResults(Collection<String> args) {
         class Arguments {
-            @Argument(usage = "Путь к решению.", required = true)
+            @Argument(usage = "Path to solution.", required = true)
             private String pathToSolution = "";
 
-            @Argument(usage = "Путь к задаче.", required = true, index = 1)
+            @Argument(usage = "Path to task.", required = true, index = 1)
             private String pathToTask = "";
         }