cvc4-1.4
lib Directory Reference

Files

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