From 8c63ae039b15a5de575248ed2399e8ab3c451e16 Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Thu, 19 Dec 2013 18:31:04 +0100 Subject: Premiers morceaux de CPU - enfin non, rien du tout... --- cpu/Makefile | 25 + cpu/alu.ml | 16 + cpu/cpu.ml | 8 + cpu/netlist_ast.ml | 42 ++ cpu/netlist_gen.ml | 1941 +++++++++++++++++++++++++++++++++++++++++++++++++++ cpu/netlist_gen.mli | 115 +++ cpu/netlist_proc.ml | 178 +++++ 7 files changed, 2325 insertions(+) create mode 100644 cpu/Makefile create mode 100644 cpu/alu.ml create mode 100644 cpu/cpu.ml create mode 100644 cpu/netlist_ast.ml create mode 100644 cpu/netlist_gen.ml create mode 100644 cpu/netlist_gen.mli create mode 100644 cpu/netlist_proc.ml (limited to 'cpu') diff --git a/cpu/Makefile b/cpu/Makefile new file mode 100644 index 0000000..e2ef7a8 --- /dev/null +++ b/cpu/Makefile @@ -0,0 +1,25 @@ +.SECONDARY: + +GENERATOR=netlist_ast.ml netlist_gen.ml netlist_gen.mli netlist_proc.ml +AUXILLARY=alu.ml + +SCHED=../sched/main.byte +SIM=../csim/csim + +%.sim: _build/%.dumb + $(SIM) $< + +_build/%.dumb _build/%.snet _build/%_opt.dumb _build/%_opt.snet: _build/%.net + $(SCHED) $< + +_build/%.net: _build/%.byte + ./$< > $@ + +_build/%.byte: $(GENERATOR) $(AUXILLARY) %.ml + ocamlbuild `basename $@` + # remove stupid symbolic link + rm `basename $@` + + +clean: + rm -rf _build diff --git a/cpu/alu.ml b/cpu/alu.ml new file mode 100644 index 0000000..0a0c00f --- /dev/null +++ b/cpu/alu.ml @@ -0,0 +1,16 @@ +open Netlist_gen + +let fulladder a b c = + let s = a ^^ b ^^ c in + let r = (a ^& b) ^| ((a ^^ b) ^& c) in + s, r + +let rec nadder n a b c_in = + if n = 1 then fulladder a b c_in + else + let s_n, c_n1 = fulladder (a ** 0) (b ** 0) c_in in + let s_n1, c_out = nadder (n-1) (a % (1, n-1)) (b % (1, n-1)) c_n1 in + s_n ++ s_n1, c_out + + + diff --git a/cpu/cpu.ml b/cpu/cpu.ml new file mode 100644 index 0000000..10e7bc4 --- /dev/null +++ b/cpu/cpu.ml @@ -0,0 +1,8 @@ +open Netlist_gen + +(* Dumb CPU that just does an 8-bit addition *) + +let p = +main_2_2 (fun a b -> Alu.nadder 8 a b (value "0")) 8 8 + +let () = Netlist_proc.print stdout p diff --git a/cpu/netlist_ast.ml b/cpu/netlist_ast.ml new file mode 100644 index 0000000..1866ed3 --- /dev/null +++ b/cpu/netlist_ast.ml @@ -0,0 +1,42 @@ +type ident = string + +module Env = struct + include Map.Make(struct + type t = ident + let compare = compare + end) + + let of_list l = + List.fold_left (fun env (x, ty) -> add x ty env) empty l +end + +type ty = int (* just one for a bit... *) +type value = bool array + +type binop = Or | Xor | And | Nand + +type arg = + | Avar of ident + | Aconst of value + +type exp = + | Earg of arg + | Ereg of ident + | Enot of arg + | Ebinop of binop * arg * arg + | Emux of arg * arg * arg + | Erom of int (*addr size*) * int (*word size*) * arg (*read_addr*) + | Eram of int (*addr size*) * int (*word size*) + * arg (*read_addr*) * arg (*write_enable*) + * arg (*write_addr*) * arg (*data*) + | Econcat of arg * arg + | Eslice of int * int * arg + | Eselect of int * arg + +type equation = ident * exp + +type program = + { p_eqs : equation list; + p_inputs : ident list; + p_outputs : ident list; + p_vars : ty Env.t; } diff --git a/cpu/netlist_gen.ml b/cpu/netlist_gen.ml new file mode 100644 index 0000000..4eabf25 --- /dev/null +++ b/cpu/netlist_gen.ml @@ -0,0 +1,1941 @@ +open Netlist_ast + +include Netlist_proc + +type t = calc ref + +let main_0_1 circuit = + let eqs = [] in + let vars = Idm.empty in + let o_1 = circuit in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + match arg_1 with + | Avar id_1 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = []; + p_outputs = [id_1] } + | _ -> failwith "constant output" + +let main_0_2 circuit = + let eqs = [] in + let vars = Idm.empty in + let o_1,o_2 = circuit in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + match arg_1,arg_2 with + | Avar id_1,Avar id_2 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = []; + p_outputs = [id_1;id_2] } + | _ -> failwith "constant output" + +let main_0_3 circuit = + let eqs = [] in + let vars = Idm.empty in + let o_1,o_2,o_3 = circuit in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + match arg_1,arg_2,arg_3 with + | Avar id_1,Avar id_2,Avar id_3 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = []; + p_outputs = [id_1;id_2;id_3] } + | _ -> failwith "constant output" + +let main_0_4 circuit = + let eqs = [] in + let vars = Idm.empty in + let o_1,o_2,o_3,o_4 = circuit in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + match arg_1,arg_2,arg_3,arg_4 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = []; + p_outputs = [id_1;id_2;id_3;id_4] } + | _ -> failwith "constant output" + +let main_0_5 circuit = + let eqs = [] in + let vars = Idm.empty in + let o_1,o_2,o_3,o_4,o_5 = circuit in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + match arg_1,arg_2,arg_3,arg_4,arg_5 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = []; + p_outputs = [id_1;id_2;id_3;id_4;id_5] } + | _ -> failwith "constant output" + +let main_0_6 circuit = + let eqs = [] in + let vars = Idm.empty in + let o_1,o_2,o_3,o_4,o_5,o_6 = circuit in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = []; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6] } + | _ -> failwith "constant output" + +let main_0_7 circuit = + let eqs = [] in + let vars = Idm.empty in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7 = circuit in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = []; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7] } + | _ -> failwith "constant output" + +let main_0_8 circuit = + let eqs = [] in + let vars = Idm.empty in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8 = circuit in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = []; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8] } + | _ -> failwith "constant output" + +let main_0_9 circuit = + let eqs = [] in + let vars = Idm.empty in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8,o_9 = circuit in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + let arg_9,_,eqs,vars = calc eqs vars o_9 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8,arg_9 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8,Avar id_9 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = []; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8;id_9] } + | _ -> failwith "constant output" + +let main_1_1 circuit t_1 = + let i_1 = id "" in + let eqs = [] in + let vars = Idm.add i_1 t_1 (Idm.empty) in + let o_1 = circuit (ref (Id (i_1,t_1))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + match arg_1 with + | Avar id_1 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1]; + p_outputs = [id_1] } + | _ -> failwith "constant output" + +let main_1_2 circuit t_1 = + let i_1 = id "" in + let eqs = [] in + let vars = Idm.add i_1 t_1 (Idm.empty) in + let o_1,o_2 = circuit (ref (Id (i_1,t_1))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + match arg_1,arg_2 with + | Avar id_1,Avar id_2 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1]; + p_outputs = [id_1;id_2] } + | _ -> failwith "constant output" + +let main_1_3 circuit t_1 = + let i_1 = id "" in + let eqs = [] in + let vars = Idm.add i_1 t_1 (Idm.empty) in + let o_1,o_2,o_3 = circuit (ref (Id (i_1,t_1))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + match arg_1,arg_2,arg_3 with + | Avar id_1,Avar id_2,Avar id_3 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1]; + p_outputs = [id_1;id_2;id_3] } + | _ -> failwith "constant output" + +let main_1_4 circuit t_1 = + let i_1 = id "" in + let eqs = [] in + let vars = Idm.add i_1 t_1 (Idm.empty) in + let o_1,o_2,o_3,o_4 = circuit (ref (Id (i_1,t_1))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + match arg_1,arg_2,arg_3,arg_4 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1]; + p_outputs = [id_1;id_2;id_3;id_4] } + | _ -> failwith "constant output" + +let main_1_5 circuit t_1 = + let i_1 = id "" in + let eqs = [] in + let vars = Idm.add i_1 t_1 (Idm.empty) in + let o_1,o_2,o_3,o_4,o_5 = circuit (ref (Id (i_1,t_1))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + match arg_1,arg_2,arg_3,arg_4,arg_5 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1]; + p_outputs = [id_1;id_2;id_3;id_4;id_5] } + | _ -> failwith "constant output" + +let main_1_6 circuit t_1 = + let i_1 = id "" in + let eqs = [] in + let vars = Idm.add i_1 t_1 (Idm.empty) in + let o_1,o_2,o_3,o_4,o_5,o_6 = circuit (ref (Id (i_1,t_1))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6] } + | _ -> failwith "constant output" + +let main_1_7 circuit t_1 = + let i_1 = id "" in + let eqs = [] in + let vars = Idm.add i_1 t_1 (Idm.empty) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7 = circuit (ref (Id (i_1,t_1))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7] } + | _ -> failwith "constant output" + +let main_1_8 circuit t_1 = + let i_1 = id "" in + let eqs = [] in + let vars = Idm.add i_1 t_1 (Idm.empty) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8 = circuit (ref (Id (i_1,t_1))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8] } + | _ -> failwith "constant output" + +let main_1_9 circuit t_1 = + let i_1 = id "" in + let eqs = [] in + let vars = Idm.add i_1 t_1 (Idm.empty) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8,o_9 = circuit (ref (Id (i_1,t_1))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + let arg_9,_,eqs,vars = calc eqs vars o_9 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8,arg_9 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8,Avar id_9 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8;id_9] } + | _ -> failwith "constant output" + +let main_2_1 circuit t_1 t_2 = + let i_1 = id "" in + let i_2 = id "" in + let eqs = [] in + let vars = Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)) in + let o_1 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + match arg_1 with + | Avar id_1 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2]; + p_outputs = [id_1] } + | _ -> failwith "constant output" + +let main_2_2 circuit t_1 t_2 = + let i_1 = id "" in + let i_2 = id "" in + let eqs = [] in + let vars = Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)) in + let o_1,o_2 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + match arg_1,arg_2 with + | Avar id_1,Avar id_2 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2]; + p_outputs = [id_1;id_2] } + | _ -> failwith "constant output" + +let main_2_3 circuit t_1 t_2 = + let i_1 = id "" in + let i_2 = id "" in + let eqs = [] in + let vars = Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)) in + let o_1,o_2,o_3 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + match arg_1,arg_2,arg_3 with + | Avar id_1,Avar id_2,Avar id_3 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2]; + p_outputs = [id_1;id_2;id_3] } + | _ -> failwith "constant output" + +let main_2_4 circuit t_1 t_2 = + let i_1 = id "" in + let i_2 = id "" in + let eqs = [] in + let vars = Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)) in + let o_1,o_2,o_3,o_4 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + match arg_1,arg_2,arg_3,arg_4 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2]; + p_outputs = [id_1;id_2;id_3;id_4] } + | _ -> failwith "constant output" + +let main_2_5 circuit t_1 t_2 = + let i_1 = id "" in + let i_2 = id "" in + let eqs = [] in + let vars = Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)) in + let o_1,o_2,o_3,o_4,o_5 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + match arg_1,arg_2,arg_3,arg_4,arg_5 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2]; + p_outputs = [id_1;id_2;id_3;id_4;id_5] } + | _ -> failwith "constant output" + +let main_2_6 circuit t_1 t_2 = + let i_1 = id "" in + let i_2 = id "" in + let eqs = [] in + let vars = Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)) in + let o_1,o_2,o_3,o_4,o_5,o_6 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6] } + | _ -> failwith "constant output" + +let main_2_7 circuit t_1 t_2 = + let i_1 = id "" in + let i_2 = id "" in + let eqs = [] in + let vars = Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7] } + | _ -> failwith "constant output" + +let main_2_8 circuit t_1 t_2 = + let i_1 = id "" in + let i_2 = id "" in + let eqs = [] in + let vars = Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8] } + | _ -> failwith "constant output" + +let main_2_9 circuit t_1 t_2 = + let i_1 = id "" in + let i_2 = id "" in + let eqs = [] in + let vars = Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8,o_9 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + let arg_9,_,eqs,vars = calc eqs vars o_9 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8,arg_9 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8,Avar id_9 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8;id_9] } + | _ -> failwith "constant output" + +let main_3_1 circuit t_1 t_2 t_3 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let eqs = [] in + let vars = Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))) in + let o_1 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + match arg_1 with + | Avar id_1 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3]; + p_outputs = [id_1] } + | _ -> failwith "constant output" + +let main_3_2 circuit t_1 t_2 t_3 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let eqs = [] in + let vars = Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))) in + let o_1,o_2 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + match arg_1,arg_2 with + | Avar id_1,Avar id_2 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3]; + p_outputs = [id_1;id_2] } + | _ -> failwith "constant output" + +let main_3_3 circuit t_1 t_2 t_3 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let eqs = [] in + let vars = Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))) in + let o_1,o_2,o_3 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + match arg_1,arg_2,arg_3 with + | Avar id_1,Avar id_2,Avar id_3 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3]; + p_outputs = [id_1;id_2;id_3] } + | _ -> failwith "constant output" + +let main_3_4 circuit t_1 t_2 t_3 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let eqs = [] in + let vars = Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))) in + let o_1,o_2,o_3,o_4 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + match arg_1,arg_2,arg_3,arg_4 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3]; + p_outputs = [id_1;id_2;id_3;id_4] } + | _ -> failwith "constant output" + +let main_3_5 circuit t_1 t_2 t_3 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let eqs = [] in + let vars = Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))) in + let o_1,o_2,o_3,o_4,o_5 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + match arg_1,arg_2,arg_3,arg_4,arg_5 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3]; + p_outputs = [id_1;id_2;id_3;id_4;id_5] } + | _ -> failwith "constant output" + +let main_3_6 circuit t_1 t_2 t_3 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let eqs = [] in + let vars = Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))) in + let o_1,o_2,o_3,o_4,o_5,o_6 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6] } + | _ -> failwith "constant output" + +let main_3_7 circuit t_1 t_2 t_3 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let eqs = [] in + let vars = Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7] } + | _ -> failwith "constant output" + +let main_3_8 circuit t_1 t_2 t_3 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let eqs = [] in + let vars = Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8] } + | _ -> failwith "constant output" + +let main_3_9 circuit t_1 t_2 t_3 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let eqs = [] in + let vars = Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8,o_9 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + let arg_9,_,eqs,vars = calc eqs vars o_9 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8,arg_9 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8,Avar id_9 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8;id_9] } + | _ -> failwith "constant output" + +let main_4_1 circuit t_1 t_2 t_3 t_4 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let eqs = [] in + let vars = Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))) in + let o_1 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + match arg_1 with + | Avar id_1 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4]; + p_outputs = [id_1] } + | _ -> failwith "constant output" + +let main_4_2 circuit t_1 t_2 t_3 t_4 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let eqs = [] in + let vars = Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))) in + let o_1,o_2 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + match arg_1,arg_2 with + | Avar id_1,Avar id_2 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4]; + p_outputs = [id_1;id_2] } + | _ -> failwith "constant output" + +let main_4_3 circuit t_1 t_2 t_3 t_4 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let eqs = [] in + let vars = Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))) in + let o_1,o_2,o_3 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + match arg_1,arg_2,arg_3 with + | Avar id_1,Avar id_2,Avar id_3 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4]; + p_outputs = [id_1;id_2;id_3] } + | _ -> failwith "constant output" + +let main_4_4 circuit t_1 t_2 t_3 t_4 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let eqs = [] in + let vars = Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))) in + let o_1,o_2,o_3,o_4 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + match arg_1,arg_2,arg_3,arg_4 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4]; + p_outputs = [id_1;id_2;id_3;id_4] } + | _ -> failwith "constant output" + +let main_4_5 circuit t_1 t_2 t_3 t_4 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let eqs = [] in + let vars = Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))) in + let o_1,o_2,o_3,o_4,o_5 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + match arg_1,arg_2,arg_3,arg_4,arg_5 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4]; + p_outputs = [id_1;id_2;id_3;id_4;id_5] } + | _ -> failwith "constant output" + +let main_4_6 circuit t_1 t_2 t_3 t_4 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let eqs = [] in + let vars = Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))) in + let o_1,o_2,o_3,o_4,o_5,o_6 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6] } + | _ -> failwith "constant output" + +let main_4_7 circuit t_1 t_2 t_3 t_4 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let eqs = [] in + let vars = Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7] } + | _ -> failwith "constant output" + +let main_4_8 circuit t_1 t_2 t_3 t_4 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let eqs = [] in + let vars = Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8] } + | _ -> failwith "constant output" + +let main_4_9 circuit t_1 t_2 t_3 t_4 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let eqs = [] in + let vars = Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8,o_9 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + let arg_9,_,eqs,vars = calc eqs vars o_9 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8,arg_9 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8,Avar id_9 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8;id_9] } + | _ -> failwith "constant output" + +let main_5_1 circuit t_1 t_2 t_3 t_4 t_5 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let eqs = [] in + let vars = Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))) in + let o_1 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + match arg_1 with + | Avar id_1 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5]; + p_outputs = [id_1] } + | _ -> failwith "constant output" + +let main_5_2 circuit t_1 t_2 t_3 t_4 t_5 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let eqs = [] in + let vars = Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))) in + let o_1,o_2 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + match arg_1,arg_2 with + | Avar id_1,Avar id_2 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5]; + p_outputs = [id_1;id_2] } + | _ -> failwith "constant output" + +let main_5_3 circuit t_1 t_2 t_3 t_4 t_5 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let eqs = [] in + let vars = Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))) in + let o_1,o_2,o_3 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + match arg_1,arg_2,arg_3 with + | Avar id_1,Avar id_2,Avar id_3 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5]; + p_outputs = [id_1;id_2;id_3] } + | _ -> failwith "constant output" + +let main_5_4 circuit t_1 t_2 t_3 t_4 t_5 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let eqs = [] in + let vars = Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))) in + let o_1,o_2,o_3,o_4 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + match arg_1,arg_2,arg_3,arg_4 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5]; + p_outputs = [id_1;id_2;id_3;id_4] } + | _ -> failwith "constant output" + +let main_5_5 circuit t_1 t_2 t_3 t_4 t_5 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let eqs = [] in + let vars = Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))) in + let o_1,o_2,o_3,o_4,o_5 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + match arg_1,arg_2,arg_3,arg_4,arg_5 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5]; + p_outputs = [id_1;id_2;id_3;id_4;id_5] } + | _ -> failwith "constant output" + +let main_5_6 circuit t_1 t_2 t_3 t_4 t_5 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let eqs = [] in + let vars = Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))) in + let o_1,o_2,o_3,o_4,o_5,o_6 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6] } + | _ -> failwith "constant output" + +let main_5_7 circuit t_1 t_2 t_3 t_4 t_5 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let eqs = [] in + let vars = Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7] } + | _ -> failwith "constant output" + +let main_5_8 circuit t_1 t_2 t_3 t_4 t_5 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let eqs = [] in + let vars = Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8] } + | _ -> failwith "constant output" + +let main_5_9 circuit t_1 t_2 t_3 t_4 t_5 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let eqs = [] in + let vars = Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8,o_9 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + let arg_9,_,eqs,vars = calc eqs vars o_9 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8,arg_9 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8,Avar id_9 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8;id_9] } + | _ -> failwith "constant output" + +let main_6_1 circuit t_1 t_2 t_3 t_4 t_5 t_6 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let eqs = [] in + let vars = Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))) in + let o_1 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + match arg_1 with + | Avar id_1 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6]; + p_outputs = [id_1] } + | _ -> failwith "constant output" + +let main_6_2 circuit t_1 t_2 t_3 t_4 t_5 t_6 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let eqs = [] in + let vars = Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))) in + let o_1,o_2 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + match arg_1,arg_2 with + | Avar id_1,Avar id_2 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6]; + p_outputs = [id_1;id_2] } + | _ -> failwith "constant output" + +let main_6_3 circuit t_1 t_2 t_3 t_4 t_5 t_6 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let eqs = [] in + let vars = Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))) in + let o_1,o_2,o_3 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + match arg_1,arg_2,arg_3 with + | Avar id_1,Avar id_2,Avar id_3 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6]; + p_outputs = [id_1;id_2;id_3] } + | _ -> failwith "constant output" + +let main_6_4 circuit t_1 t_2 t_3 t_4 t_5 t_6 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let eqs = [] in + let vars = Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))) in + let o_1,o_2,o_3,o_4 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + match arg_1,arg_2,arg_3,arg_4 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6]; + p_outputs = [id_1;id_2;id_3;id_4] } + | _ -> failwith "constant output" + +let main_6_5 circuit t_1 t_2 t_3 t_4 t_5 t_6 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let eqs = [] in + let vars = Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))) in + let o_1,o_2,o_3,o_4,o_5 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + match arg_1,arg_2,arg_3,arg_4,arg_5 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6]; + p_outputs = [id_1;id_2;id_3;id_4;id_5] } + | _ -> failwith "constant output" + +let main_6_6 circuit t_1 t_2 t_3 t_4 t_5 t_6 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let eqs = [] in + let vars = Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))) in + let o_1,o_2,o_3,o_4,o_5,o_6 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6] } + | _ -> failwith "constant output" + +let main_6_7 circuit t_1 t_2 t_3 t_4 t_5 t_6 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let eqs = [] in + let vars = Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7] } + | _ -> failwith "constant output" + +let main_6_8 circuit t_1 t_2 t_3 t_4 t_5 t_6 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let eqs = [] in + let vars = Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8] } + | _ -> failwith "constant output" + +let main_6_9 circuit t_1 t_2 t_3 t_4 t_5 t_6 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let eqs = [] in + let vars = Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8,o_9 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + let arg_9,_,eqs,vars = calc eqs vars o_9 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8,arg_9 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8,Avar id_9 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8;id_9] } + | _ -> failwith "constant output" + +let main_7_1 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let eqs = [] in + let vars = Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))) in + let o_1 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + match arg_1 with + | Avar id_1 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7]; + p_outputs = [id_1] } + | _ -> failwith "constant output" + +let main_7_2 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let eqs = [] in + let vars = Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))) in + let o_1,o_2 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + match arg_1,arg_2 with + | Avar id_1,Avar id_2 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7]; + p_outputs = [id_1;id_2] } + | _ -> failwith "constant output" + +let main_7_3 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let eqs = [] in + let vars = Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))) in + let o_1,o_2,o_3 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + match arg_1,arg_2,arg_3 with + | Avar id_1,Avar id_2,Avar id_3 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7]; + p_outputs = [id_1;id_2;id_3] } + | _ -> failwith "constant output" + +let main_7_4 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let eqs = [] in + let vars = Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))) in + let o_1,o_2,o_3,o_4 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + match arg_1,arg_2,arg_3,arg_4 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7]; + p_outputs = [id_1;id_2;id_3;id_4] } + | _ -> failwith "constant output" + +let main_7_5 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let eqs = [] in + let vars = Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))) in + let o_1,o_2,o_3,o_4,o_5 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + match arg_1,arg_2,arg_3,arg_4,arg_5 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7]; + p_outputs = [id_1;id_2;id_3;id_4;id_5] } + | _ -> failwith "constant output" + +let main_7_6 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let eqs = [] in + let vars = Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))) in + let o_1,o_2,o_3,o_4,o_5,o_6 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6] } + | _ -> failwith "constant output" + +let main_7_7 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let eqs = [] in + let vars = Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7] } + | _ -> failwith "constant output" + +let main_7_8 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let eqs = [] in + let vars = Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8] } + | _ -> failwith "constant output" + +let main_7_9 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let eqs = [] in + let vars = Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8,o_9 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + let arg_9,_,eqs,vars = calc eqs vars o_9 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8,arg_9 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8,Avar id_9 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8;id_9] } + | _ -> failwith "constant output" + +let main_8_1 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let eqs = [] in + let vars = Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))))) in + let o_1 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + match arg_1 with + | Avar id_1 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8]; + p_outputs = [id_1] } + | _ -> failwith "constant output" + +let main_8_2 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let eqs = [] in + let vars = Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))))) in + let o_1,o_2 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + match arg_1,arg_2 with + | Avar id_1,Avar id_2 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8]; + p_outputs = [id_1;id_2] } + | _ -> failwith "constant output" + +let main_8_3 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let eqs = [] in + let vars = Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))))) in + let o_1,o_2,o_3 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + match arg_1,arg_2,arg_3 with + | Avar id_1,Avar id_2,Avar id_3 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8]; + p_outputs = [id_1;id_2;id_3] } + | _ -> failwith "constant output" + +let main_8_4 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let eqs = [] in + let vars = Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))))) in + let o_1,o_2,o_3,o_4 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + match arg_1,arg_2,arg_3,arg_4 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8]; + p_outputs = [id_1;id_2;id_3;id_4] } + | _ -> failwith "constant output" + +let main_8_5 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let eqs = [] in + let vars = Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))))) in + let o_1,o_2,o_3,o_4,o_5 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + match arg_1,arg_2,arg_3,arg_4,arg_5 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8]; + p_outputs = [id_1;id_2;id_3;id_4;id_5] } + | _ -> failwith "constant output" + +let main_8_6 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let eqs = [] in + let vars = Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))))) in + let o_1,o_2,o_3,o_4,o_5,o_6 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6] } + | _ -> failwith "constant output" + +let main_8_7 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let eqs = [] in + let vars = Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7] } + | _ -> failwith "constant output" + +let main_8_8 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let eqs = [] in + let vars = Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8] } + | _ -> failwith "constant output" + +let main_8_9 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let eqs = [] in + let vars = Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty)))))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8,o_9 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + let arg_9,_,eqs,vars = calc eqs vars o_9 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8,arg_9 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8,Avar id_9 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8;id_9] } + | _ -> failwith "constant output" + +let main_9_1 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 t_9 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let i_9 = id "" in + let eqs = [] in + let vars = Idm.add i_9 t_9 (Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))))) in + let o_1 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) (ref (Id (i_9,t_9))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + match arg_1 with + | Avar id_1 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8;i_9]; + p_outputs = [id_1] } + | _ -> failwith "constant output" + +let main_9_2 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 t_9 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let i_9 = id "" in + let eqs = [] in + let vars = Idm.add i_9 t_9 (Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))))) in + let o_1,o_2 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) (ref (Id (i_9,t_9))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + match arg_1,arg_2 with + | Avar id_1,Avar id_2 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8;i_9]; + p_outputs = [id_1;id_2] } + | _ -> failwith "constant output" + +let main_9_3 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 t_9 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let i_9 = id "" in + let eqs = [] in + let vars = Idm.add i_9 t_9 (Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))))) in + let o_1,o_2,o_3 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) (ref (Id (i_9,t_9))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + match arg_1,arg_2,arg_3 with + | Avar id_1,Avar id_2,Avar id_3 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8;i_9]; + p_outputs = [id_1;id_2;id_3] } + | _ -> failwith "constant output" + +let main_9_4 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 t_9 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let i_9 = id "" in + let eqs = [] in + let vars = Idm.add i_9 t_9 (Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))))) in + let o_1,o_2,o_3,o_4 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) (ref (Id (i_9,t_9))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + match arg_1,arg_2,arg_3,arg_4 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8;i_9]; + p_outputs = [id_1;id_2;id_3;id_4] } + | _ -> failwith "constant output" + +let main_9_5 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 t_9 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let i_9 = id "" in + let eqs = [] in + let vars = Idm.add i_9 t_9 (Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))))) in + let o_1,o_2,o_3,o_4,o_5 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) (ref (Id (i_9,t_9))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + match arg_1,arg_2,arg_3,arg_4,arg_5 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8;i_9]; + p_outputs = [id_1;id_2;id_3;id_4;id_5] } + | _ -> failwith "constant output" + +let main_9_6 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 t_9 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let i_9 = id "" in + let eqs = [] in + let vars = Idm.add i_9 t_9 (Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))))) in + let o_1,o_2,o_3,o_4,o_5,o_6 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) (ref (Id (i_9,t_9))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8;i_9]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6] } + | _ -> failwith "constant output" + +let main_9_7 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 t_9 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let i_9 = id "" in + let eqs = [] in + let vars = Idm.add i_9 t_9 (Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) (ref (Id (i_9,t_9))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8;i_9]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7] } + | _ -> failwith "constant output" + +let main_9_8 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 t_9 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let i_9 = id "" in + let eqs = [] in + let vars = Idm.add i_9 t_9 (Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) (ref (Id (i_9,t_9))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8;i_9]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8] } + | _ -> failwith "constant output" + +let main_9_9 circuit t_1 t_2 t_3 t_4 t_5 t_6 t_7 t_8 t_9 = + let i_1 = id "" in + let i_2 = id "" in + let i_3 = id "" in + let i_4 = id "" in + let i_5 = id "" in + let i_6 = id "" in + let i_7 = id "" in + let i_8 = id "" in + let i_9 = id "" in + let eqs = [] in + let vars = Idm.add i_9 t_9 (Idm.add i_8 t_8 (Idm.add i_7 t_7 (Idm.add i_6 t_6 (Idm.add i_5 t_5 (Idm.add i_4 t_4 (Idm.add i_3 t_3 (Idm.add i_2 t_2 (Idm.add i_1 t_1 (Idm.empty))))))))) in + let o_1,o_2,o_3,o_4,o_5,o_6,o_7,o_8,o_9 = circuit (ref (Id (i_1,t_1))) (ref (Id (i_2,t_2))) (ref (Id (i_3,t_3))) (ref (Id (i_4,t_4))) (ref (Id (i_5,t_5))) (ref (Id (i_6,t_6))) (ref (Id (i_7,t_7))) (ref (Id (i_8,t_8))) (ref (Id (i_9,t_9))) in + let arg_1,_,eqs,vars = calc eqs vars o_1 in + let arg_2,_,eqs,vars = calc eqs vars o_2 in + let arg_3,_,eqs,vars = calc eqs vars o_3 in + let arg_4,_,eqs,vars = calc eqs vars o_4 in + let arg_5,_,eqs,vars = calc eqs vars o_5 in + let arg_6,_,eqs,vars = calc eqs vars o_6 in + let arg_7,_,eqs,vars = calc eqs vars o_7 in + let arg_8,_,eqs,vars = calc eqs vars o_8 in + let arg_9,_,eqs,vars = calc eqs vars o_9 in + match arg_1,arg_2,arg_3,arg_4,arg_5,arg_6,arg_7,arg_8,arg_9 with + | Avar id_1,Avar id_2,Avar id_3,Avar id_4,Avar id_5,Avar id_6,Avar id_7,Avar id_8,Avar id_9 -> { + p_eqs = eqs; + p_vars = vars; + p_inputs = [i_1;i_2;i_3;i_4;i_5;i_6;i_7;i_8;i_9]; + p_outputs = [id_1;id_2;id_3;id_4;id_5;id_6;id_7;id_8;id_9] } + | _ -> failwith "constant output" + diff --git a/cpu/netlist_gen.mli b/cpu/netlist_gen.mli new file mode 100644 index 0000000..9dd7b62 --- /dev/null +++ b/cpu/netlist_gen.mli @@ -0,0 +1,115 @@ +type t + +val print : out_channel -> Netlist_ast.program -> unit + +val value : string -> t + +val ( ++ ) : t -> t -> t (* concat *) + +val ( ^| ) : t -> t -> t (* or *) +val ( ^^ ) : t -> t -> t (* xor *) +val ( ^& ) : t -> t -> t (* and *) +val ( ^$ ) : t -> t -> t (* nand *) + +val not : t -> t + +val mux : t -> t -> t -> t + +val ( ** ) : t -> int -> t (* select *) + +val ( % ) : t -> int * int -> t (* slice *) + +val rom : string -> int -> int -> t -> t + +val ram : int -> int -> t -> t -> t -> t -> t + +val main_0_1 : t -> Netlist_ast.program +val main_0_2 : t * t -> Netlist_ast.program +val main_0_3 : t * t * t -> Netlist_ast.program +val main_0_4 : t * t * t * t -> Netlist_ast.program +val main_0_5 : t * t * t * t * t -> Netlist_ast.program +val main_0_6 : t * t * t * t * t * t -> Netlist_ast.program +val main_0_7 : t * t * t * t * t * t * t -> Netlist_ast.program +val main_0_8 : t * t * t * t * t * t * t * t -> Netlist_ast.program +val main_0_9 : t * t * t * t * t * t * t * t * t -> Netlist_ast.program +val main_1_1 : (t -> t ) -> int -> Netlist_ast.program +val main_1_2 : (t -> t * t ) -> int -> Netlist_ast.program +val main_1_3 : (t -> t * t * t ) -> int -> Netlist_ast.program +val main_1_4 : (t -> t * t * t * t ) -> int -> Netlist_ast.program +val main_1_5 : (t -> t * t * t * t * t ) -> int -> Netlist_ast.program +val main_1_6 : (t -> t * t * t * t * t * t ) -> int -> Netlist_ast.program +val main_1_7 : (t -> t * t * t * t * t * t * t ) -> int -> Netlist_ast.program +val main_1_8 : (t -> t * t * t * t * t * t * t * t ) -> int -> Netlist_ast.program +val main_1_9 : (t -> t * t * t * t * t * t * t * t * t ) -> int -> Netlist_ast.program +val main_2_1 : (t -> t -> t ) -> int -> int -> Netlist_ast.program +val main_2_2 : (t -> t -> t * t ) -> int -> int -> Netlist_ast.program +val main_2_3 : (t -> t -> t * t * t ) -> int -> int -> Netlist_ast.program +val main_2_4 : (t -> t -> t * t * t * t ) -> int -> int -> Netlist_ast.program +val main_2_5 : (t -> t -> t * t * t * t * t ) -> int -> int -> Netlist_ast.program +val main_2_6 : (t -> t -> t * t * t * t * t * t ) -> int -> int -> Netlist_ast.program +val main_2_7 : (t -> t -> t * t * t * t * t * t * t ) -> int -> int -> Netlist_ast.program +val main_2_8 : (t -> t -> t * t * t * t * t * t * t * t ) -> int -> int -> Netlist_ast.program +val main_2_9 : (t -> t -> t * t * t * t * t * t * t * t * t ) -> int -> int -> Netlist_ast.program +val main_3_1 : (t -> t -> t -> t ) -> int -> int -> int -> Netlist_ast.program +val main_3_2 : (t -> t -> t -> t * t ) -> int -> int -> int -> Netlist_ast.program +val main_3_3 : (t -> t -> t -> t * t * t ) -> int -> int -> int -> Netlist_ast.program +val main_3_4 : (t -> t -> t -> t * t * t * t ) -> int -> int -> int -> Netlist_ast.program +val main_3_5 : (t -> t -> t -> t * t * t * t * t ) -> int -> int -> int -> Netlist_ast.program +val main_3_6 : (t -> t -> t -> t * t * t * t * t * t ) -> int -> int -> int -> Netlist_ast.program +val main_3_7 : (t -> t -> t -> t * t * t * t * t * t * t ) -> int -> int -> int -> Netlist_ast.program +val main_3_8 : (t -> t -> t -> t * t * t * t * t * t * t * t ) -> int -> int -> int -> Netlist_ast.program +val main_3_9 : (t -> t -> t -> t * t * t * t * t * t * t * t * t ) -> int -> int -> int -> Netlist_ast.program +val main_4_1 : (t -> t -> t -> t -> t ) -> int -> int -> int -> int -> Netlist_ast.program +val main_4_2 : (t -> t -> t -> t -> t * t ) -> int -> int -> int -> int -> Netlist_ast.program +val main_4_3 : (t -> t -> t -> t -> t * t * t ) -> int -> int -> int -> int -> Netlist_ast.program +val main_4_4 : (t -> t -> t -> t -> t * t * t * t ) -> int -> int -> int -> int -> Netlist_ast.program +val main_4_5 : (t -> t -> t -> t -> t * t * t * t * t ) -> int -> int -> int -> int -> Netlist_ast.program +val main_4_6 : (t -> t -> t -> t -> t * t * t * t * t * t ) -> int -> int -> int -> int -> Netlist_ast.program +val main_4_7 : (t -> t -> t -> t -> t * t * t * t * t * t * t ) -> int -> int -> int -> int -> Netlist_ast.program +val main_4_8 : (t -> t -> t -> t -> t * t * t * t * t * t * t * t ) -> int -> int -> int -> int -> Netlist_ast.program +val main_4_9 : (t -> t -> t -> t -> t * t * t * t * t * t * t * t * t ) -> int -> int -> int -> int -> Netlist_ast.program +val main_5_1 : (t -> t -> t -> t -> t -> t ) -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_5_2 : (t -> t -> t -> t -> t -> t * t ) -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_5_3 : (t -> t -> t -> t -> t -> t * t * t ) -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_5_4 : (t -> t -> t -> t -> t -> t * t * t * t ) -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_5_5 : (t -> t -> t -> t -> t -> t * t * t * t * t ) -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_5_6 : (t -> t -> t -> t -> t -> t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_5_7 : (t -> t -> t -> t -> t -> t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_5_8 : (t -> t -> t -> t -> t -> t * t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_5_9 : (t -> t -> t -> t -> t -> t * t * t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_6_1 : (t -> t -> t -> t -> t -> t -> t ) -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_6_2 : (t -> t -> t -> t -> t -> t -> t * t ) -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_6_3 : (t -> t -> t -> t -> t -> t -> t * t * t ) -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_6_4 : (t -> t -> t -> t -> t -> t -> t * t * t * t ) -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_6_5 : (t -> t -> t -> t -> t -> t -> t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_6_6 : (t -> t -> t -> t -> t -> t -> t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_6_7 : (t -> t -> t -> t -> t -> t -> t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_6_8 : (t -> t -> t -> t -> t -> t -> t * t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_6_9 : (t -> t -> t -> t -> t -> t -> t * t * t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_7_1 : (t -> t -> t -> t -> t -> t -> t -> t ) -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_7_2 : (t -> t -> t -> t -> t -> t -> t -> t * t ) -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_7_3 : (t -> t -> t -> t -> t -> t -> t -> t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_7_4 : (t -> t -> t -> t -> t -> t -> t -> t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_7_5 : (t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_7_6 : (t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_7_7 : (t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_7_8 : (t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_7_9 : (t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_8_1 : (t -> t -> t -> t -> t -> t -> t -> t -> t ) -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_8_2 : (t -> t -> t -> t -> t -> t -> t -> t -> t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_8_3 : (t -> t -> t -> t -> t -> t -> t -> t -> t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_8_4 : (t -> t -> t -> t -> t -> t -> t -> t -> t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_8_5 : (t -> t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_8_6 : (t -> t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_8_7 : (t -> t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_8_8 : (t -> t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_8_9 : (t -> t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_9_1 : (t -> t -> t -> t -> t -> t -> t -> t -> t -> t ) -> int -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_9_2 : (t -> t -> t -> t -> t -> t -> t -> t -> t -> t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_9_3 : (t -> t -> t -> t -> t -> t -> t -> t -> t -> t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_9_4 : (t -> t -> t -> t -> t -> t -> t -> t -> t -> t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_9_5 : (t -> t -> t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_9_6 : (t -> t -> t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_9_7 : (t -> t -> t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_9_8 : (t -> t -> t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program +val main_9_9 : (t -> t -> t -> t -> t -> t -> t -> t -> t -> t * t * t * t * t * t * t * t * t ) -> int -> int -> int -> int -> int -> int -> int -> int -> int -> Netlist_ast.program diff --git a/cpu/netlist_proc.ml b/cpu/netlist_proc.ml new file mode 100644 index 0000000..99dde22 --- /dev/null +++ b/cpu/netlist_proc.ml @@ -0,0 +1,178 @@ +open Netlist_ast + +(* module Idm = Map.Make (String) *) +module Idm = Env + +type calc = + | Id of (ident * int) + | Eq of (equation list -> int Idm.t -> arg * int * equation list * int Idm.t) + | Const of (bool array) + +let id = + let cnt = ref 0 in + fun n -> + let res = n ^ "_xoxo_" ^ (string_of_int !cnt) in + incr cnt; res + +let value n = + let l = String.length n in + ref (Const (Array.init l (fun i -> n.[i] = '1'))) + +let calc eqs vars e = + match !e with + | Id (id,t) -> Avar id,t,eqs,vars + | Eq c -> + let arg,t,eqs,vars = c eqs vars in + let () = + match arg with + | Avar id -> e := Id (id,t) + | Aconst v -> e := Const v in + arg,t,eqs,vars + | Const v -> Aconst v,(Array.length v),eqs,vars + +let ( ++ ) a b = + ref (Eq (fun eqs vars -> + let arga,ta,eqs,vars = calc eqs vars a in + let argb,tb,eqs,vars = calc eqs vars b in + let res = id "" in + Avar res, (ta+tb), (res,Econcat (arga, argb))::eqs, Idm.add res (ta+tb) vars)) + +let ( ^^ ) a b = ref (Eq (fun eqs vars -> + let arga,ta,eqs,vars = calc eqs vars a in + let argb,tb,eqs,vars = calc eqs vars b in + if ta = tb then + let res = id "" in + Avar res, (ta), (res,Ebinop (Xor,arga, argb))::eqs, Idm.add res (ta) vars + else assert false)) + +let ( ^| ) a b = ref (Eq (fun eqs vars -> + let arga,ta,eqs,vars = calc eqs vars a in + let argb,tb,eqs,vars = calc eqs vars b in + if ta = tb then + let res = id "" in + Avar res, (ta), (res,Ebinop (Or,arga, argb))::eqs, Idm.add res (ta) vars + else assert false)) + +let ( ^& ) a b = ref (Eq (fun eqs vars -> + let arga,ta,eqs,vars = calc eqs vars a in + let argb,tb,eqs,vars = calc eqs vars b in + if ta = tb then + let res = id "" in + Avar res, (ta), (res,Ebinop (And,arga, argb))::eqs, Idm.add res (ta) vars + else assert false)) + +let ( ^$ ) a b = ref (Eq (fun eqs vars -> + let arga,ta,eqs,vars = calc eqs vars a in + let argb,tb,eqs,vars = calc eqs vars b in + if ta = tb then + let res = id "" in + Avar res, (ta), (res,Ebinop (Nand,arga, argb))::eqs, Idm.add res (ta) vars + else assert false)) + +let not a = ref (Eq (fun eqs vars -> + let arga,ta,eqs,vars = calc eqs vars a in + let res = id "" in + Avar res, ta, (res,Enot arga)::eqs, Idm.add res ta vars)) + +let mux a b c = ref (Eq (fun eqs vars -> + let arga,ta,eqs,vars = calc eqs vars a in + let argb,tb,eqs,vars = calc eqs vars b in + let argc,tc,eqs,vars = calc eqs vars c in + if ta = 1 && tb = tc then + let res = id "" in + Avar res, tb, (res,Emux (arga,argb,argc))::eqs, Idm.add res tb vars + else assert false)) + +let ( ** ) a n = ref (Eq (fun eqs vars -> + let arga,ta,eqs,vars = calc eqs vars a in + if n >= ta then assert false + else if ta = 1 then arga,ta,eqs,vars + else let res = id "" in + Avar res, 1, (res,Eselect (n,arga))::eqs, Idm.add res 1 vars)) + +let ( % ) a (i,j) = ref (Eq (fun eqs vars -> + let arga,ta,eqs,vars = calc eqs vars a in + if j > ta then assert false + else if i > j then assert false + else if j-i+1 = ta then arga,ta,eqs,vars + else let res = id "" in + Avar res, (j-i+1), (res,Eslice (i,j,arga))::eqs, Idm.add res (j-i+1) vars)) + +let rom name a_s w_s a = ref (Eq (fun eqs vars -> + let arga,ta,eqs,vars = calc eqs vars a in + if ta = a_s && w_s > 0 then + let res = id name in + Avar res, w_s, (res,Erom (a_s,w_s,arga))::eqs, Idm.add res w_s vars + else assert false)) + +let ram a_s w_s ra we wa d = ref (Eq (fun eqs vars -> + let argra,tra,eqs,vars = calc eqs vars ra in + let argwe,twe,eqs,vars = calc eqs vars we in + let argwa,twa,eqs,vars = calc eqs vars wa in + let argd,td,eqs,vars = calc eqs vars d in + if tra = a_s && twa = a_s && td = w_s && twe = 1 then + let res = id "" in + Avar res, w_s, (res,Eram (a_s,w_s,argra,argwe,argwa,argd))::eqs, Idm.add res w_s vars + else assert false)) + +let init_string n f = + let s = String.make n 'a' in + for i = 0 to n - 1 do + s.[i] <- f i + done; + s + +(* value to string *) +let vts bits = + init_string (Array.length bits) (fun i -> + if bits.(i) then '1' else '0') + +(* argument to string *) +let ats = function + | Avar id -> id + | Aconst n -> vts n + +let s_op = function + | Or -> "OR" + | Xor -> "XOR" + | And -> "AND" + | Nand -> "NAND" + +let print oc p = + let print_eq oc (s,e) = + let s_e = + match e with + | Earg a -> ats a + | Ereg s -> "REG " ^ s + | Enot a -> "NOT " ^ (ats a) + | Ebinop (b,a1,a2) -> (s_op b) ^ " " ^ (ats a1) ^ " " ^ (ats a2) + | Emux (a1,a2,a3) -> + "MUX " ^ (ats a1) ^ " " ^ (ats a2) ^ " " ^ (ats a3) + | Erom (n1,n2,a3) -> + "ROM " ^ (string_of_int n1) ^ " " ^ (string_of_int n2) ^ + " " ^ (ats a3) + | Eram (n1,n2,a3,a4,a5,a6) -> + "RAM " ^ (string_of_int n1) ^ " " ^ (string_of_int n2) ^ + " " ^ (ats a3) ^ " " ^ (ats a4) ^ " " ^ (ats a5) ^ + " " ^ (ats a6) + | Econcat (a1,a2) -> "CONCAT " ^ (ats a1) ^ " " ^ (ats a2) + | Eslice (n1,n2,a3) -> "SLICE " ^ (string_of_int n1) ^ " " ^ + (string_of_int n2) ^ " " ^ (ats a3) + | Eselect (n,a) -> "SELECT " ^ (string_of_int n) ^ " " ^ (ats a) in + Printf.fprintf oc "%s = %s\n" s s_e in + Printf.fprintf oc "INPUT "; + if p.p_inputs <> [] then + (Printf.fprintf oc "%s" (List.hd p.p_inputs); List.iter + (Printf.fprintf oc ", %s") (List.tl p.p_inputs)); + Printf.fprintf oc "\nOUTPUT "; + if p.p_outputs <> [] then + (Printf.fprintf oc "%s" (List.hd p.p_outputs); List.iter + (Printf.fprintf oc ", %s") (List.tl p.p_outputs)); + Printf.fprintf oc "\nVAR "; + let stts s t = if t = 1 then s else s ^ " : " ^ (string_of_int t) in + ignore (Idm.fold (fun s t b -> + if b then Printf.fprintf oc "%s" (stts s t) + else Printf.fprintf oc ", %s" (stts s t); + false) p.p_vars true); + Printf.fprintf oc "\nIN\n"; + List.iter (print_eq oc) p.p_eqs -- cgit v1.2.3