Verifies all the necessary conditions for the existence of PBIB designs based on any association scheme.
Useful links