@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 23.6.0
@macos_version 14.8.2
@xcodecltversion 15.3.0.0.1.1708487402
@ports_commit 1726dd27adb9aa540ad44d82bee54c81591d76f0
@source_date_epoch 1764297556
opt/local/bin/minisat
@comment MD5:4dcaea1cc82b8fc6c87ac63b067604aa
@comment binary:1
opt/local/bin/minisat_core
@comment MD5:cbfcb949eb659e7c7f6cea9844617cbe
@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:c7da5baf67d9159b4df554658f5af9cd
@comment binary:1
opt/local/lib/libminisat.2.dylib
@comment MD5:c7da5baf67d9159b4df554658f5af9cd
@comment binary:0
opt/local/lib/libminisat.a
@comment MD5:89f3840b9acbcb20f94e130dd7fcc1a5
@comment binary:0
opt/local/lib/libminisat.dylib
@comment MD5:c7da5baf67d9159b4df554658f5af9cd
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
