@name btor2tools-20230816_0
@portname btor2tools
@portepoch 0
@portversion 20230816
@portrevision 0
@archs i386
@pkgdep libcxx-5.0.1_5
opt/local/bin/btorsim
@comment MD5:5b771e9cd3cf210ee6041102d099d696
@comment binary:1
opt/local/bin/btorsplit
@comment MD5:2bfd96f189c9cb62f8d4aff656e0e95d
@comment binary:1
opt/local/bin/catbtor
@comment MD5:968f530457bf6320cd0f22fb4b5e3b13
@comment binary:1
opt/local/include/btor2parser.h
@comment MD5:b8679e8590dabebd03d2c43000660832
@comment binary:0
opt/local/lib/libbtor2parser.dylib
@comment MD5:d51f6274a288b6ad440cce6cb027116b
@comment binary:1
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
