удовлетворяющее некоторым примерам?

#regex #z3 Вопрос: У меня есть набор таких строк: {"01", "001", 000111", 01111"} Теперь мне интересно, могу ли я попросить Microsoft Z3 найти минимальное регулярное выражение, удовлетворяющее строкам. Например, выходные…