crackNum-3.1: dependencies

Dependencies for crackNum-3.1

crackNum	base (>=4.11 && <5) directory filepath libBF process sbv (>=8.14) tasty tasty-golden