Portmatching v0.4 integration #833
Description
This issue should keep track of the required tasks to upgrade tket2's pattern matching capabilities to portmatching v0.4.
Completed
- Working prototype of integration in branch
new-v04 - Predicates and Constraints (feat: Add portmatching Predicates and Constraints #755 ) merged into
portmatching-v04/base - Indexing Schemes (feat: Add portmatching Indexing Scheme #754) merged into
portmatching-v04/base
TODOs
- In progress: Constraint Classes and branch selectors (feat: Add constraint class and branch selector #771). Requires discussions and re-design with Alan
- Pattern definition and automaton construction; binary serialization
- Rewrites, application, badger
- portmatching release