%FILES%
usr/
usr/lib/
usr/include/
usr/share/
usr/bin/
usr/bin/cryptominisat
usr/share/man/
usr/share/man/man1/
usr/share/man/man1/cryptominisat.1.gz
usr/include/cmsat/
usr/include/cmsat/StateSaver.h
usr/include/cmsat/RestartTypeChooser.h
usr/include/cmsat/ClauseOffset.h
usr/include/cmsat/SolverConf.h
usr/include/cmsat/BitArray.h
usr/include/cmsat/ClauseAllocator.h
usr/include/cmsat/BoundedQueue.h
usr/include/cmsat/VarReplacer.h
usr/include/cmsat/ClauseCleaner.h
usr/include/cmsat/SolverTypes.h
usr/include/cmsat/XorSubsumer.h
usr/include/cmsat/constants.h
usr/include/cmsat/time_mem.h
usr/include/cmsat/StreamBuffer.h
usr/include/cmsat/XSet.h
usr/include/cmsat/Clause.h
usr/include/cmsat/GaussianConfig.h
usr/include/cmsat/Vec.h
usr/include/cmsat/CompleteDetachReattacher.h
usr/include/cmsat/CSet.h
usr/include/cmsat/DimacsParser.h
usr/include/cmsat/PropBy.h
usr/include/cmsat/FailedLitSearcher.h
usr/include/cmsat/XorFinder.h
usr/include/cmsat/PackedMatrix.h
usr/include/cmsat/Solver.h
usr/include/cmsat/BothCache.h
usr/include/cmsat/ClauseVivifier.h
usr/include/cmsat/OnlyNonLearntBins.h
usr/include/cmsat/Alg.h
usr/include/cmsat/PackedRow.h
usr/include/cmsat/MatrixFinder.h
usr/include/cmsat/Watched.h
usr/include/cmsat/SCCFinder.h
usr/include/cmsat/MersenneTwister.h
usr/include/cmsat/Gaussian.h
usr/include/cmsat/Heap.h
usr/include/cmsat/DoublePackedRow.h
usr/include/cmsat/UselessBinRemover.h
usr/include/cmsat/SharedData.h
usr/include/cmsat/DataSync.h
usr/include/cmsat/Subsumer.h
usr/lib/libcryptominisat.so
usr/lib/libcryptominisat-2.9.11.so
