equal
deleted
inserted
replaced
10 val configured_sat_solvers : bool -> string list |
10 val configured_sat_solvers : bool -> string list |
11 val smart_sat_solver_name : bool -> string |
11 val smart_sat_solver_name : bool -> string |
12 val sat_solver_spec : string -> string * string list |
12 val sat_solver_spec : string -> string * string list |
13 end; |
13 end; |
14 |
14 |
15 structure KodkodSAT : KODKOD_SAT = |
15 structure Kodkod_SAT : KODKOD_SAT = |
16 struct |
16 struct |
17 |
17 |
18 datatype sink = ToStdout | ToFile |
18 datatype sink = ToStdout | ToFile |
19 datatype availability = Java | JNI |
19 datatype availability = Java | JNI |
20 datatype mode = Batch | Incremental |
20 datatype mode = Batch | Incremental |