3 ms·
I hope they will open source Microsoft.Automata too, it was very useful for a project where I had to generate samples of strings that had to conform to multiple
by hokkos 12y ago
I hope they will open source Microsoft.Automata too, it was very useful for a project where I had to generate samples of strings that had to conform to multiple regex :
http://research.microsoft.com/en-us/projects/automata/ http://research.microsoft.com/en-us/projects/automata/
- porges 12y agoThere are potentially patents on the code, e.g. https://www.google.co.nz/patents/US8515891 https://www.google.co.nz/patents/US8515891 which discusses PEX + regex (mentioning SMT solvers).