From 6d0573ca52a1611d9263194d9b22cbf23f60fe2f Mon Sep 17 00:00:00 2001 From: bellesmarta <43028405+bellesmarta@users.noreply.github.com> Date: Mon, 10 Sep 2018 19:02:52 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 31b187f..0f41019 100644 --- a/README.md +++ b/README.md @@ -37,7 +37,7 @@ As it is shown in the above example, a value is assigned to `out` and a constrai In the above example, both inputs are forced to be binary by adding the constraints `a*(a-1)===0` and `b*(b-1) === 0`. -### Compile the circuit +### Compilation the circuit First of all, the compiler must be installed typing: