SAT-Equiv is an equivalence checker for cryptographic protocols. It proceeds by reduction to planning problem and SAT-formula, for a bounded number of sessions.
This tool has been described in our paper:
Files related to the tool or the paper are available here:
apt-get install minisat.
tar -zxvf satequiv.tar.gz
make. You will need a recent version of OCaml.
satequivhas been built.
./satequiv Examples/Denning-Sacco-B/ds-3.piwhich should give you a quick answer.