yap. C
yap-6.3. YAP Development release
cudd. Fabio Somenzi's CUDD package mirror
doxygen-yap. doxygen for prolog
YAPDroid. YAP interface for Android
yap-udi-indexers. YAP UDI indexers
