equal
deleted
inserted
replaced
1041 - fudge_ms) |
1041 - fudge_ms) |
1042 val outcome = |
1042 val outcome = |
1043 let |
1043 let |
1044 val code = |
1044 val code = |
1045 system ("env CLASSPATH=\"$KODKODI_CLASSPATH:$CLASSPATH\" \ |
1045 system ("env CLASSPATH=\"$KODKODI_CLASSPATH:$CLASSPATH\" \ |
1046 \\"$ISABELLE_TOOL\" java \ |
1046 \JAVA_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\ |
|
1047 \$JAVA_LIBRARY_PATH\" \"$ISABELLE_TOOL\" java \ |
1047 \de.tum.in.isabelle.Kodkodi.Kodkodi" ^ |
1048 \de.tum.in.isabelle.Kodkodi.Kodkodi" ^ |
1048 (if ms >= 0 then " -max-msecs " ^ Int.toString ms |
1049 (if ms >= 0 then " -max-msecs " ^ Int.toString ms |
1049 else "") ^ |
1050 else "") ^ |
1050 (if max_solutions > 1 then " -solve-all" else "") ^ |
1051 (if max_solutions > 1 then " -solve-all" else "") ^ |
1051 " -max-solutions " ^ Int.toString max_solutions ^ |
1052 " -max-solutions " ^ Int.toString max_solutions ^ |