@name minisat-2.2.1_0
@portname minisat
@portepoch 0
@portversion 2.2.1
@portrevision 0
@archs x86_64
@pkgdep zlib-1.3.1_0
@macports_version 2.11.6
@os.subplatform macosx
@os.version 12.6.0
@macos_version 10.8.5
@xcodeversion 5.1.1
@ports_commit 4a1bfe3a8d99e40d85557146af684000d48a535e
@source_date_epoch 1764297556
opt/local/bin/minisat
@comment MD5:3b2fb4926a3c15a2870afbb97b63616e
@comment binary:1
opt/local/bin/minisat_core
@comment MD5:a7ff97f041313667f39a8fa3e328ac3e
@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:5bbc7bb3ac0e3495c3a5c49d4270d98f
@comment binary:1
opt/local/lib/libminisat.2.dylib
@comment MD5:5bbc7bb3ac0e3495c3a5c49d4270d98f
@comment binary:0
opt/local/lib/libminisat.a
@comment MD5:dfd33a9acb9efd5b3b5176aa117bf57c
@comment binary:0
opt/local/lib/libminisat.dylib
@comment MD5:5bbc7bb3ac0e3495c3a5c49d4270d98f
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
