Github: https://github.com/AeneasVerif/eurydice