cvc4-1.4
lib Directory Reference
Directory dependency graph for lib:
src/lib

Files

 clock_gettime.h
 Replacement for clock_gettime() for systems without it (like Mac OS X)
 
 ffs.h
 Replacement for ffs() for systems without it (like Win32)
 
 strtok_r.h
 Replacement for strtok_r() for systems without it (like Win32)