New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Implement boolean operations over `SymbolicDFA` #110

Open

3 tasks

marcofavorito opened this issue May 23, 2021 · 0 comments

Member

marcofavorito commented May 23, 2021

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.

The text was updated successfully, but these errors were encountered:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment