I\'m trying to compile miniSAT on Kali Linux 64 bits but I keep getting the error message:
fatal error: zlib.h: no such file or directory
