Result for 022B0A5632278ACE4D030A68F16BAF7E02BEC944

Query result

Key	Value
FileSize	79652
MD5	FE6E2AE0F80512D7CA3C2A0437C2D567
PackageDescription	theorem prover from Microsoft Research - development files Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . This package can be used to invoke Z3 via its C++ API.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-dev
PackageSection	libdevel
PackageVersion	4.4.1-1~deb10u1
SHA-1	022B0A5632278ACE4D030A68F16BAF7E02BEC944
SHA-256	48373AD1D8542F792F4C53CAF6E123E52E82DE8A1A97D9C5E8B052D8BB25076F
hashlookup:children-total	13
hashlookup:trust	50

Network graph view

Children (Total: 13)

The searched file hash includes 13 children files known and seen by metalookup. A sample is included below:

Key	Value
FileName	./usr/include/z3_algebraic.h
FileSize	6840
MD5	7C248CEE9AC5CA5A2499000751967B07
SHA-1	BC1F7C1A6FBE4DED9C8B2D262BD2C6224DC241EE
SHA-256	9247667BE6709670815542B63B888B4B2250479358097F21A751879A48731CDD
SSDEEP	192:no/NtatM+t4twMUDPET8IUj+tJStE/tYstF1t7NtFEvH4Ax:s2TYzN/uE3JYx
TLSH	T184E16868BCC224629353DBF4098E1046661DB5E3B2F17FA47D6F46FA2FDA681D63C201

Key	Value
FileName	./usr/include/z3_macros.h
FileSize	506
MD5	456CEC16BE04491FD85EF8CA32D2B2C7
SHA-1	450035681DF59A7037DFD233B7526307D37EB2F2
SHA-256	691647EA57336210F06567038CD015304C303FCB7DB8CEA8A32171B025E7072F
SSDEEP	12:mGBFS6lM6udFGFH//Ma9xYToAFzP4SyXhPS/G5:mGDJl7uaMa9x2ppvm
TLSH	T1EBF0BB715B9570F16110562198886514566ED6D72792E5BC9485AE2C0F8A35314FD188

Key	Value
FileName	./usr/include/z3_fpa.h
FileSize	30600
MD5	1E30C307CA0B887F0815370E8AF6BB0B
SHA-1	0B869B708348C26351051D5A73036E76FBDDD793
SHA-256	617A8E73F000BCF92D68B66DDD2CA6085F0AC1E81BDEFE56DE3EE00AA1DBF0FB
SSDEEP	384:bNXpozsQoTpTTp9TpmTVeTpOa50FpQ0ypOpupKp8pvp+pYv2RjdB6CP220Iy3/2S:bNXpG3Hllc1Dx
TLSH	T134D2BE903FAC165ED30E97381189B083B249E0C332D09770769F59DA1FC79AACFB56A5

Key	Value
FileName	./usr/include/z3_polynomial.h
FileSize	1136
MD5	4DCA598CE4E8A72DBAD0DD6CF877ED4F
SHA-1	B437CF694A1C66D39BED767396E733E96632354F
SHA-256	28AEEA063AC273A74EF9A60A8798F7F0513C7E3699458BAEA6786CD0F0675DE0
SSDEEP	24:TiDGf889o8F6by/8WpRo+YfW+RKBNyzGdrdqqXzQkduFS/kXzQEIpx:TiDG0bW/v3TY++25qsz/KS/ezwx
TLSH	T1B321F0B5286C2023A510E67161D831418145B15BE3D315F4361F7F9F4FCB39276F95D2

Key	Value
FileName	./usr/include/z3_api.h
FileSize	285349
MD5	29A7CA4B5C38780B732D65751849088D
SHA-1	914DA59AE7592B9934B72DBA3F2F363A319D4B55
SHA-256	CFB94781C11A7C13021F7BF716FFA372931AB2638AFD538754BF93AEAB4CCC1F
SSDEEP	6144:wMPVxvxhyHMMfjJy5wVGHDASqTSg01yAfbK8WL2hMiKFxnd0qEV+LqKmC5/lS3x0:wMdxvxhystg017Mi8yV+LV5JUsQKtxlJ
TLSH	T1FA54B7A07D9716A2C217DB3852CD6442530CF1E363E1A5A039AF83DC1FC6BE0D7BA569

Key	Value
FileName	./usr/include/z3++.h
FileSize	86455
MD5	4BA0B24972DD9957D9DDD11A8672871B
SHA-1	D74955C4F15E77170A599626B12D1A72EBE54C2F
SHA-256	1FF17D7C02C919EAE0CAE7C7E329AF163501ADC7506529CFE980091DB63019FC
SSDEEP	768:zJGm2KldXSJaqacCMmXoUXz5vuqK8tIlHQfXU62zm4N2inj41zpzauBwwpIfDjv/:Vh2Uf4HK52zm4N2FNSFkGd0BWt
TLSH	T11B833145B9A3513A06126379424FD051F338946733A8EEA07B5FA1A0AFC1648F7F79F1

Key	Value
FileName	./usr/include/z3_rcf.h
FileSize	5942
MD5	98F3E290EC35C199D5DD5186006C807F
SHA-1	0DF421B4380DF95A57C52AEB6289599027933FB0
SHA-256	31255BB2756E06956FA9EEE6E962274140DDBEFEE7D950476F8D87EBF0204853
SSDEEP	96:1DGBTcS6xM7xunByIoDJ7olVon79okMKQKT2K4KCRzRxKXtvtBt6KWt7qtlwtZB4:mcS6xM9OEPtMM7Ok5dTXV8N8XtvtBtrj
TLSH	T108C168507CE3479EC216E7385289A743D30EB5F3435292B0759FA2DABFC45C2A275066

Key	Value
FileName	./usr/share/doc/z3/changelog.gz
FileSize	12885
MD5	7207B587AC23374AF406F503D0515DD0
SHA-1	7B086BE24964914D4FAD12DA20D6CFD75FAA610F
SHA-256	F62AAA20AB18A71C46BD5C9F3288D90500EB6557285722F500832BF06261DCE8
SSDEEP	384:3TC3XCK1FgES6hUSicuCrFRX+nuz6ShT3cWoj9wV8m:MVWFCr0uz6Sl3tojyGm
TLSH	T13C42D1A04DFAE32A91D1743F65F1A90D6B34CA107B6DB3405413B7802D3975D5FB9E01

Key	Value
FileName	./usr/include/z3_interp.h
FileSize	11919
MD5	866C8FD1B4E9A1C3BD0325B4143700CF
SHA-1	8E980BA0E9C2A40D6A5719A8F654F6DD77FC0BC2
SHA-256	978EE3F3073E5B53DC17F4A8D84895C8CF1CFD43B18A03D2A53AC213F032CDFC
SSDEEP	192:P2EbJlLFTCh5LZNGYO2bNNgnurF1L7hgmpnTLvcCknzKbHSVmx:ueLFTK5LZNGYnbNNgub7pLvcT01x
TLSH	T1733264623E471F35D21E07B015AD1245A35890E376D2A2A8705E6A6C1FCB930E3FE7B4

Key	Value
FileName	./usr/share/doc/z3/changelog.Debian.gz
FileSize	2161
MD5	F112DDA41358EE9E12A72D0E95F6F946
SHA-1	DA7061B3E63E0EF3ED921F8D69A8A8D23969C0C4
SHA-256	821EB131DE00A531F2E0AE6A97C5ECB44FC6CD538640614859694AABA44CAAD3
SSDEEP	48:X2iEXzvsTh0jCR28YCV8S9l2A5JUIW1gFf6ctQz:/EjWwqYO8SFWut6yi
TLSH	T1F2411CC56B0A27C0DC7059D2E71DE7C1890A285BE92E0374636C621A47CCD66EFCF5B0

Key	Value
FileName	./usr/include/z3_v1.h
FileSize	2243
MD5	B59E0B219892CFB14E7F2D44B7F87AB0
SHA-1	F0B10438C0D08A81E3B9B3A2F812A34526CC5061
SHA-256	47248464E6F1781B4FBCEB3E3BD81D3F817B267F772A226E0E918ADB5C62514D
SSDEEP	48:TY+DGwvqFVFJzbOLJ6GedY9fpqGaMPXRauntaQSlViGIn4qLYxwxYGFkUxghozzX:s+DGwSFnJPOL1sYBkGXPBaEtallViGIL
TLSH	T10941E3683C8B7515C0AB9B1D52C851247180EE333381E1CDF87F6D192FEA22A52F95ED
tar:gname	bin
tar:uname	root

Key	Value
FileName	./usr/include/z3.h
FileSize	405
MD5	4A3C272FDAFEC95A6164BF1003DF2BBB
SHA-1	86F7D52F47DE50D048F38546DF1DDDAE8E55AF53
SHA-256	9382BF54CF1D100CA972458C40D5C4062986C6BAA4CDEF3306E0581D370E265B
SSDEEP	12:U4ABFeFBG3EcYWR4eLYO6TRAoMMAwRAbvAwoRAcIAkRAVxvArf:TADGBGUTWBAVHrB0HoRSvivI
TLSH	T181E0E51DED7F0067C12B44B119D3E827408E72832B29D53051FC3791BA450EA764F1C4

Key	Value
FileName	./usr/share/doc/z3/copyright
FileSize	2131
MD5	41AEBF244D143B2188FFBD8CF7BC4D56
SHA-1	2B8CAB82326404ECB6E447C4B7EC365A138C9397
SHA-256	82E82701581D0B61FE9003DD4F7FAD5C697703DE321C3D566C7C8ECFBED1B58F
SHA-512	55B8D3D78E2384CF321232AF9DECDBB8471F13A0454930D8ACF2E1B346B652E0605616E78B0D01FBF6641C6A3A1FCFAD97057EA326FE0F695B5DF866EE50FABB
SSDEEP	48:iUD/yJLl/El5wH0s5ANU3oWFi7pwGoyvHq+nxi8:iUDMcbwHFoV7pVrRQ8
TLSH	T18941B50E7250877B198023E03D5A64DEF33B7297B57D5184640EE34E9B2647953F7894
insert-timestamp	1672721792.3705158
mimetype	text/plain
source	snap:2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_134