Repositório auditável do artigo sobre microrredes PV-BSV-H2 sob restrições de potência. O código separa a busca multiobjetivo da evidência formal de viabilidade e registra dados, configurações, ...