We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b59513a commit b513574Copy full SHA for b513574
1 file changed
README.md
@@ -35,9 +35,9 @@ To use this plugin with ABC:
35
```bash
36
./abc
37
abc 01> pexact -h
38
- abc 01> usage: pexact [-I <num>] [-M <num>] <hex>
+ usage: pexact [-I <num>] [-M <num>] <hex>
39
exact synthesis of multi-input function using two-input gates
40
- -I <num> : the number of input variables [default = 0]
+ -I <num> : the number of input variables [default = 4]
41
-M <num> : search space exploration mode 0: queue search; 1: free search; 2: binary search [default = 0]
42
```
43
0 commit comments