| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-06-16 | Add computational complexity analysis | Boyang Han |
| 2021-06-16 | Refactor to a more `scala` form | Boyang Han |
| 2021-06-16 | Merge minimized table before return as a TruthTable | Boyang Han |
| 2021-06-16 | implement QMC. | Boyang Han |
