where I can get the eqntott program?

Where I can get the eqntott program for to use with the espresso?
For to convert formula to truth table for the input the espresso, or
What url I get this?
Thanks for your help