Implement boolean operations over `SymbolicDFA`

[marfvr]

Is your feature request related to a problem? Please describe. SymbolicDFA currently does not support boolean operations.

Describe the solution you'd like Implement them.

• [ ] intersection
• [ ] union
• [ ] complementation

References:

• Applications of Symbolic Finite Automata: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/ciaa13.pdf
• Symbolic Automata Constraint Solving: https://link.springer.com/chapter/10.1007%2F978-3-642-16242-8_45
• Rex: Symbolic Regular Expression Explorer: https://www.microsoft.com/en-us/research/wp-content/uploads/2010/04/rex-ICST.pdf

Describe alternatives you've considered n/a

Additional context Add any other context or screenshots about the feature request here.