@name minisat-2.2.1_0
@portname minisat
@portepoch 0
@portversion 2.2.1
@portrevision 0
@archs i386
@pkgdep zlib-1.3.1_0
@pkgdep libcxx-5.0.1_5
@macports_version 2.11.6
@os.subplatform macosx
@os.version 10.8.0
@macos_version 10.6.8
@xcodeversion 3.2.6
@source_date_epoch 1764297728
opt/local/bin/minisat
@comment MD5:6ca350567e479397c32cbd99f60c126c
@comment binary:1
opt/local/bin/minisat_core
@comment MD5:fd9a40550fc375e27bbf1cf32549e0d9
@comment binary:1
opt/local/include/minisat/core/Dimacs.h
@comment MD5:046c6fc91ae52670e65f740d06edfc9f
@comment binary:0
opt/local/include/minisat/core/Solver.h
@comment MD5:d25372f71771909989f2c5a12794ae37
@comment binary:0
opt/local/include/minisat/core/SolverTypes.h
@comment MD5:53e9fecf423d12a45b295dc2cc20282c
@comment binary:0
opt/local/include/minisat/mtl/Alg.h
@comment MD5:5dc95e7e98f305e5f4b63af0e57a03ca
@comment binary:0
opt/local/include/minisat/mtl/Alloc.h
@comment MD5:7cdb357c72c40f54ace9d4f4053752e9
@comment binary:0
opt/local/include/minisat/mtl/Heap.h
@comment MD5:a11a93a7bbedb4f54bbeb33fd1cb1f15
@comment binary:0
opt/local/include/minisat/mtl/IntMap.h
@comment MD5:cf060d8e06ef1ab045021e6e59c4ef0b
@comment binary:0
opt/local/include/minisat/mtl/IntTypes.h
@comment MD5:1eca8531afc59b7f0ab8a5d4e1639680
@comment binary:0
opt/local/include/minisat/mtl/Map.h
@comment MD5:42d68e975cd65339c7013720844ae326
@comment binary:0
opt/local/include/minisat/mtl/Queue.h
@comment MD5:0c1b4763471d138c8cf12de54bf58141
@comment binary:0
opt/local/include/minisat/mtl/Rnd.h
@comment MD5:ad017aa6ccdc7e18bb26b80427697214
@comment binary:0
opt/local/include/minisat/mtl/Sort.h
@comment MD5:d627b55e69c51e666fe57eb12fc70a6b
@comment binary:0
opt/local/include/minisat/mtl/Vec.h
@comment MD5:36412c4283b171279faff69bb0195368
@comment binary:0
opt/local/include/minisat/mtl/XAlloc.h
@comment MD5:85f720e4ddfe2cb66fca45a5838e919f
@comment binary:0
opt/local/include/minisat/simp/SimpSolver.h
@comment MD5:5ba5f2ee0045fd09e41ab039b55c715a
@comment binary:0
opt/local/include/minisat/utils/Options.h
@comment MD5:92336162c4f9e152e2d41a95be3ef998
@comment binary:0
opt/local/include/minisat/utils/ParseUtils.h
@comment MD5:e55fddb7160dea0561e0aef2f7b9d769
@comment binary:0
opt/local/include/minisat/utils/System.h
@comment MD5:09774e159f2f672f13df0f5d8dcd8a59
@comment binary:0
opt/local/lib/libminisat.2.1.0.dylib
@comment MD5:17b3ae75f592f630f467895f7a0703db
@comment binary:1
opt/local/lib/libminisat.2.dylib
@comment MD5:17b3ae75f592f630f467895f7a0703db
@comment binary:0
opt/local/lib/libminisat.a
@comment MD5:5fe1996b59b85aa9fd0432603ef10122
@comment binary:0
opt/local/lib/libminisat.dylib
@comment MD5:17b3ae75f592f630f467895f7a0703db
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
