Merge pull request #569 from VeriFIT/strings_replace_empty_fix #patch

Fix NFT construction for replace operations in strings

Merge pull request #567 from VeriFIT/homomorphism_argument #patch

Add argument to choose whether homorphism heurstic is used for transducer noodlification

Merge pull request #564 from VeriFIT/get_words_with_lengths #patch

Function to get accepting words of NFT tapes of specific lengths

Merge pull request #566 from VeriFIT/fix_nft_epsilon_removal #patch

Fix NFT epsilon removal

Merge pull request #563 from VeriFIT/strings_app #minor

Move string solving stuff

Merge pull request #560 from VeriFIT/homomorphic_nft_noodlification #…

…patch

Homomorphic nft in transducer noodlification

Merge pull request #559 from VeriFIT/product_storage #patch

Class for Product Storage

Merge pull request #557 from VeriFIT/paly/or_product #patch

nfa python bindings: union_with_product_map, read_word

Merge pull request #555 from VeriFIT/ord_vec #patch

Add `at`, `min`, and `max` methods for `OrdVector`

Merge pull request #554 from VeriFIT/fix_multiple_delimiters_noodlifi…

…cation #patch

Fix delimiter transitions in transducer noodlification