This library provides an Opensource ATPG API to build your programs on. The library implements a lot of template c++ classes and functions that provide Combitional/Sequential logic simulation, and fault simulation functionality(semi-PROOFS).
Open source project that offer summary and download services on this page is a project that carry out their development work on other open source development sites. Their work is linked to this page via a feature called OFI, and their work is not carried out here on OSDN site.