Skip to content

Commit b59513a

Browse files
🎨 Readme Message updated
1 parent 6732ce4 commit b59513a

1 file changed

Lines changed: 5 additions & 1 deletion

File tree

README.md

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,11 @@ To use this plugin with ABC:
3434
4. **Run ABC** and use the `pexact` command:
3535
```bash
3636
./abc
37-
abc 01> pexact
37+
abc 01> pexact -h
38+
abc 01> 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]
41+
-M <num> : search space exploration mode 0: queue search; 1: free search; 2: binary search [default = 0]
3842
```
3943

4044
## 🛠️ Getting Started (Developers)

0 commit comments

Comments
 (0)