larissa (pypi): Tool to automate working with Triton
Keywords: symbolic|execution|triton