@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 21.6.0
@macos_version 12.7.6
@xcodecltversion 13.4.0.0.1.1651278267
@ports_commit 26a99a82b3ce923196188867b27a04ac022b705a
@source_date_epoch 1764297556
opt/local/bin/minisat
@comment MD5:0f9011cd83f24ef742326a421207b3f3
@comment binary:1
opt/local/bin/minisat_core
@comment MD5:5264a0aae4b53eb474b58a3912adcc69
@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:e93d42a6c501b8c1f69798d6d490d792
@comment binary:1
opt/local/lib/libminisat.2.dylib
@comment MD5:e93d42a6c501b8c1f69798d6d490d792
@comment binary:0
opt/local/lib/libminisat.a
@comment MD5:e5bdd347536f2a781dda03a70bff17f7
@comment binary:0
opt/local/lib/libminisat.dylib
@comment MD5:e93d42a6c501b8c1f69798d6d490d792
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
