@name minisat-2.2.0.20170810p1
@version 8
@comment pkgpath=math/minisat ftp=yes
@arch i386
+DESC
@sha +pxG+sEEYPsHH9pQBLB/Jk93Rj8Z3OKZ0omDsGj+ifM=
@size 1158
@wantlib c++.10.0
@wantlib c++abi.7.0
@wantlib c.99.0
@wantlib m.10.1
@wantlib pthread.27.1
@wantlib z.7.0
@cwd /usr/local
@bin bin/minisat
@sha qVec6rzu04rQrDu9d6tqhgFcvW19PWy+DpibOrv2GPM=
@size 101912
@ts 1710695096
@bin bin/minisat_core
@sha gh1T8OE0fUdeWHVoGtgviIgyfjjxFiaRyUzr+DJ/RC8=
@size 73484
@ts 1710695095
include/minisat/
include/minisat/core/
include/minisat/core/Dimacs.h
@sha kCVddqcKFWydYBPp3CHc+fRwzwGA7b1VxZ6c8Ono9Ns=
@size 3251
@ts 1380111378
include/minisat/core/Solver.h
@sha R/AzDPCO6maFIBW+AMU8krFFTu6dVJ5T8J/qolyPA7I=
@size 24060
@ts 1380111378
include/minisat/core/SolverTypes.h
@sha 2resVO13BSZ3WZ6HTh5uRxMLtk/vAyLzk+sPJsi1sJs=
@size 17310
@ts 1710695085
include/minisat/mtl/
include/minisat/mtl/Alg.h
@sha yRtJf36WtIksye1KuF5ntskRI/FdV6O/dMQKHhIZhbs=
@size 2851
@ts 1380111378
include/minisat/mtl/Alloc.h
@sha vO2FPZhdTidA+biGiYdADcKyJadBxK6lt1pfgSZojkI=
@size 4403
@ts 1380111378
include/minisat/mtl/Heap.h
@sha Jfq1DISeQtpQudS3Dm4zUZAD4ZxHMZFMM1AUTNbjL6g=
@size 5368
@ts 1380111378
include/minisat/mtl/IntMap.h
@sha Mzz/z+/Ij/xPQsYosr1ZEp0zPeFvdcZbkuSw7h3scqk=
@size 4216
@ts 1380111378
include/minisat/mtl/IntTypes.h
@sha d9XMUMu67MyF2yXPPkplIVjh3sv3nr+SKDNx3fsBUt8=
@size 1763
@ts 1380111378
include/minisat/mtl/Map.h
@sha mOA162+w1iAKRuXehmKwxi0qu4gAFyr2iI7qTNP2wq4=
@size 6706
@ts 1380111378
include/minisat/mtl/Queue.h
@sha 9urwvtpXx56AXlgZ88H2Dypr2cC3ZXIOleggTObejA8=
@size 3013
@ts 1380111378
include/minisat/mtl/Rnd.h
@sha NS/k5txmPUhUKWcn7pvXFwiphOyyd0I2+tPyTE/m7IE=
@size 2427
@ts 1380111378
include/minisat/mtl/Sort.h
@sha aWd0V97FEMoUvf9POnyKToJxurgwv8O/ouashlO8TzQ=
@size 3288
@ts 1380111378
include/minisat/mtl/Vec.h
@sha 65mKcXH3ZpnaQ6ybRJJ4PPjsNEoHAQw3c/xoOz9nRrw=
@size 5612
@ts 1380111378
include/minisat/mtl/XAlloc.h
@sha GQIJq9q4CjViElUliQJUBIu3Ms/rUBdgPFLMKwDKYs8=
@size 1924
@ts 1380111378
include/minisat/simp/
include/minisat/simp/SimpSolver.h
@sha 2JP/8cjDkKT4tEWqfAHC6VXqv5N49OtLKHXfkThH19o=
@size 10826
@ts 1380111378
include/minisat/utils/
include/minisat/utils/Options.h
@sha LGm5rtIZL0XXNq5ht7azgX1mi7RyJbDwH3jPrw+dV5w=
@size 12179
@ts 1710695085
include/minisat/utils/ParseUtils.h
@sha KYAxkPeeR8MaREqQ/PLsZTSacMG8TqL7NxOkss4J8LE=
@size 4169
@ts 1380111378
include/minisat/utils/System.h
@sha 67HFxiChOaqcsqvClp6EK6+Ks34xs03e96sHoiGJiiw=
@size 3093
@ts 1380111378
lib/libminisat.a
@sha Yk7JKVbujTyj9TKasWBBEzzrpEqu76ySgWUW5m1V6dU=
@size 150456
@ts 1710695091
@lib lib/libminisat.so.0.0
@sha hOb8Re2R7VRd+Bn4aWCTkzZRTvrMiWhX/EbVQ7PzoO0=
@size 104900
@ts 1710695095
