Skip to content
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.

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

Add a FakeMDD generator? #37

Open
Azzaare opened this issue Feb 15, 2023 · 0 comments
Open

Add a FakeMDD generator? #37

Azzaare opened this issue Feb 15, 2023 · 0 comments
Labels
enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed question Further information is requested

Comments

@Azzaare
Copy link
Member

Azzaare commented Feb 15, 2023

In a similar fashion that we use in a simple fake automaton generator for words recognized by a regular automaton, we need a method to generate words that are recognized also by multivalued decision diagrams.

Note that words recognized by MDDs is a subset of regular languages. However, for a given entry size (which is usually the case for a given constraint), any automaton can be transformed into an mdd. Is FakeAutomaton generator enough then?

EDIT: Making a convertor from and to Automaton might help. However, the idea is to generate relevant MMD

@Azzaare Azzaare added enhancement New feature or request question Further information is requested labels Feb 15, 2023
@Azzaare Azzaare added this to Opt Pot Mar 26, 2024
@Azzaare Azzaare moved this to Todo in Opt Pot Mar 26, 2024
@Azzaare Azzaare added good first issue Good for newcomers help wanted Extra attention is needed labels Mar 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed question Further information is requested
Projects
Status: Todo
Development

No branches or pull requests

1 participant