Update README.md

experiments/README.md

@@ -4,6 +4,8 @@ All of the QASM files generated for our paper are available in the vqo_files and
 
 ## Running Experiments
 
+Our experiments require the VOQC optimizer, whcih can be installed with `opam install voqc`.
+
 First, run `make` in the top level (`..`) directory. This will compile our Coq proofs. Then run `./extract.sh` in the current directory. This will extract our Coq definitions to OCaml and compile the resulting OCaml code. Finally, run `./run.sh` in the current directory. This will re-generate the circuits in vqo_files and run VOQC on all circuit, writing the results to `results.csv`.
 
 The files in the vqo_files directory use the following naming conventions, where N is the number of bits in the operation:
@@ -14,4 +16,4 @@ The files in the vqo_files directory use the following naming conventions, where
 * cl-mod-mul-N.qasm, rz-mod-mul-N.qasm - computes (x * M1 % M2) using TOFF-based or QFT-based arithmetic
 * cl-div-mod-N.qasm, rz-div-mod-N.qasm - computes (x mod y, x / y) using TOFF-based or QFT-based arithmetic
 * rz-appr-* - approximate versions of various QFT arithmetic circuits
-* partial-eval-* - circuits computing (x * y / M), with different degrees of partial evaluation
+* partial-eval-* - circuits computing (x * y / M), with different degrees of partial evaluation