The latest version of certora-cli-alpha-dominik-unsat-cores-to-mus-solver with no known security vulnerabilities is 20230512.11.45.894529. We recommend installing version 20230512.11.45.894529.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.