/
solvers.ml
57 lines (45 loc) · 1.73 KB
/
solvers.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
let register_solver_factory = Solverregistry.register_solver_factory
let register_solver = Solverregistry.register_solver
let mem_solver = Solverregistry.mem_solver
let find_solver = Solverregistry.find_solver
let enum_solvers = Solverregistry.enum_solvers
let fold_solvers = Solverregistry.fold_solvers
let register_partial_solver_factory = Solverregistry.register_partial_solver_factory
let register_partial_solver = Solverregistry.register_partial_solver
let mem_partial_solver = Solverregistry.mem_partial_solver
let find_partial_solver = Solverregistry.find_partial_solver
let enum_partial_solvers = Solverregistry.enum_partial_solvers
let fold_partial_solvers = Solverregistry.fold_partial_solvers
let _ =
Bigstep.register ();
Dominiondecomp.register ();
Externalsolver.register ();
Fpiter.register ();
Genetic.register ();
Guessstrategy.register ();
Localmodelchecker.register ();
Optstratimprov.register ();
Prioprom.register ();
Priopromplus.register ();
Priopromdelay.register ();
Priopromrecovery.register ();
Recursive.register ();
Satsolve.register ();
Smallprogress.register ();
(*Smtsolve.register ();*)
Stratimprdisc.register ();
Stratimprlocal.register ();
Stratimprlocal2.register ();
Stratimprovement.register ();
Stratimprsat.register ();
Viasat.register ();
Stratimpralgs.register ();
Switch_cunningham.register ();
Switch_globally_best.register ();
Switch_history.register ();
Switch_internal.register ();
Switch_locally_best.register ();
Switch_random.register ();
Switch_snare.register ();
Switch_zadeh.register ();
Succinctsmallprogress.register ();;