Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Why do you think that https://github.com/klee/klee is a good alternative to Triton