vscosta

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