Nas últimas semanas, @dnkolegov (e a equipe da @asymmetric_re) traduziram o Minimmit em uma especificação executável (escrita em Quint). Por que? Agora podemos automatizar a busca por inconsistência mínima contra o Apalache Symbolic Model Checker 🤖 .