@name minisat-2.2.1_0
@portname minisat
@portepoch 0
@portversion 2.2.1
@portrevision 0
@archs arm64
@pkgdep zlib-1.3.1_0
@macports_version 2.11.6
@os.subplatform macosx
@os.version 22.6.0
@macos_version 13.7.8
@xcodecltversion 14.3.1.0.1.1683849156
@ports_commit 4a1bfe3a8d99e40d85557146af684000d48a535e
@source_date_epoch 1764297556
opt/local/bin/minisat
@comment MD5:1f5ce257da204212cf72b70049e384d7
@comment binary:1
opt/local/bin/minisat_core
@comment MD5:b238dec9e88a45b33dabb208215ef1a1
@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:72953213e6bc30c4923f2db2ebe77806
@comment binary:1
opt/local/lib/libminisat.2.dylib
@comment MD5:72953213e6bc30c4923f2db2ebe77806
@comment binary:0
opt/local/lib/libminisat.a
@comment MD5:8ef0a55aa01fc311f5142e7b128581a5
@comment binary:0
opt/local/lib/libminisat.dylib
@comment MD5:72953213e6bc30c4923f2db2ebe77806
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
