/usr/include/ is in minisat 1:2.2.1-5.
This file is owned by root:root, with mode 0o755.
..
/usr/include/minisat/simp/
/usr/include/minisat/
/usr/include/minisat/mtl/
/usr/include/minisat/mtl/IntTypes.h
/usr/include/minisat/mtl/Alloc.h
/usr/include/minisat/mtl/Heap.h
/usr/include/minisat/mtl/Alg.h
/usr/include/minisat/mtl/Vec.h
/usr/include/minisat/mtl/Queue.h
/usr/include/minisat/mtl/Sort.h
/usr/include/minisat/mtl/Map.h
/usr/include/minisat/mtl/XAlloc.h
/usr/include/minisat/simp/SimpSolver.h
/usr/include/minisat/core/
/usr/include/minisat/core/Solver.h
/usr/include/minisat/core/SolverTypes.h
/usr/include/minisat/core/Dimacs.h
/usr/include/minisat/utils/
/usr/include/minisat/utils/ParseUtils.h
/usr/include/minisat/utils/Options.h
/usr/include/minisat/utils/System.h