set name=pkg.fmri value=pkg://lnf/developer/hets/minisat@2.2.0.20130925,5.11-1.3.1.5:20151102T201207Z
set name=pkg.summary value="SAT solver MiniSat"
set name=pkg.description value="MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=https://github.com/niklasso/minisat
set name=variant.arch value=i386
file b6b7bf3d37d1a3fc311af43d98be575c6afd58fb chash=8c3be6fe93097f5ba6292d1227835627240e7a39 elfarch=i386 elfbits=32 elfhash=1f81899b6d178014740b5389992bf8d91e6b0368 group=bin mode=0755 owner=bin path=local/usr/bin/minisat pkg.csize=97631 pkg.size=228364
dir facet.devel=true group=bin mode=0755 owner=bin path=local/usr/include/minisat
dir facet.devel=true group=bin mode=0755 owner=bin path=local/usr/include/minisat/core
file c031aa2ffb41167d9169a52a4e0f1dba191ba200 chash=0eacd375a093eb4ee3677a2e22805c8d4796318d facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/core/Dimacs.h pkg.csize=1377 pkg.size=3220
file 6537048a48fc8a94ce86d417621d939a746c0d1a chash=e7d47c7dc67d0504468cc506a3eb708f04de1a11 facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/core/Solver.h pkg.csize=6703 pkg.size=24060
file 89a1857c733be1aa308b1a1fa73a48c85b122493 chash=357b8242124520f8323f18935f6bca5f308a6ae2 facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/core/SolverTypes.h pkg.csize=5170 pkg.size=17310
dir facet.devel=true group=bin mode=0755 owner=bin path=local/usr/include/minisat/mtl
file 0e1a2bb5656d1992b804a8cc17226c464e1bc1f5 chash=ceadd727786b570a449603de71663076f6ab62d0 facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/mtl/Alg.h pkg.csize=1148 pkg.size=2851
file c4a9de5d7f4cffcb0ec85803da04474f617ff04b chash=73795ad70f75c1e291d4a042f7862e02c3942ee7 facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/mtl/Alloc.h pkg.csize=1858 pkg.size=4403
file e374bd47bdabdce3e3e7f803f87047a1c364508e chash=4cdfb3299223516433298186a2ca4be844906a17 facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/mtl/Heap.h pkg.csize=1937 pkg.size=5368
file 57329a9f6f02e7a2aee2daf4ed1ca1d71e0c2b43 chash=12952e1e4097f428210c3b289fc4eeb4f4f76459 facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/mtl/IntMap.h pkg.csize=1541 pkg.size=4216
file 4cb4c0bf355845ee4acf95dc5a00ca579ad66970 chash=9a19b30540c862ca851134be70b942474e68ccfc facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/mtl/IntTypes.h pkg.csize=856 pkg.size=1763
file 936707a66b33bd4125b9dff62eff8845b8fcf916 chash=9919bcc1793487fdbec362b78194a709d89ae09d facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/mtl/Map.h pkg.csize=2254 pkg.size=6706
file 686be47a564ce01dc4af4d95c7057e56959567fb chash=2a9387e61fc4ad9344050f3e883dc5677d367740 facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/mtl/Queue.h pkg.csize=1296 pkg.size=3013
file def0dac087a835e6d6d2979e50fa35647aa238a9 chash=b655c0d2d1efaa6d60bfe1e3bdd35367103a920b facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/mtl/Rnd.h pkg.csize=1086 pkg.size=2427
file 96325f2848169a2a9406e8c17fb0921b3aa9da77 chash=7868cf2581ef9b7ec3624be48e3ad2db20fc00b4 facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/mtl/Sort.h pkg.csize=1268 pkg.size=3288
file b5e149b0210e3baaecd660bf7cbbfec907836a69 chash=aae4158c5062a7adf0df1e3b4e12b3b6d6a87fe7 facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/mtl/Vec.h pkg.csize=2132 pkg.size=5612
file 0366deef7622f1f397e9554f3dd2abb8e33ffc92 chash=9151807c15184f200e2b92e71a1e200a63c38935 facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/mtl/XAlloc.h pkg.csize=935 pkg.size=1924
dir facet.devel=true group=bin mode=0755 owner=bin path=local/usr/include/minisat/simp
file 731ea9b57a1c58edcc761ee2ec123ab3da314cbc chash=0a0f69073530ef1c12be9875b53006935085cb38 facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/simp/SimpSolver.h pkg.csize=3153 pkg.size=10826
dir facet.devel=true group=bin mode=0755 owner=bin path=local/usr/include/minisat/utils
file 16795e85a50367332f38b11c41fa6ca58fbba5cf chash=d09b2837097d32b3baec08eed1237bffda13c626 facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/utils/Options.h pkg.csize=2824 pkg.size=12173
file 2c9247de22b315ffcf3e0da776f87457f05f250a chash=90b1fc24a3373a5b96cd9d42e4b93df5b2579e67 facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/utils/ParseUtils.h pkg.csize=1720 pkg.size=4169
file fc9f1db5af2e32be158cb39b1b7a653a1c48c882 chash=0015247608c9dc2f1abf6c5020ebc8ae47162364 facet.devel=true group=bin mode=0644 owner=bin path=local/usr/include/minisat/utils/System.h pkg.csize=1349 pkg.size=3284
link path=local/usr/lib/libminisat.so target=libminisat.so.2
link path=local/usr/lib/libminisat.so.2 target=libminisat.so.2.1.0
file 52ef2276e28adb617fff3d265c0bfe2b098e6337 chash=7e9902f38b6465939aab0f5a8261c79d2424e51c elfarch=i386 elfbits=32 elfhash=9600180a5d359ff6eea346e1d5b43e6597f0fb3f group=bin mode=0755 owner=bin path=local/usr/lib/libminisat.so.2.1.0 pkg.csize=283362 pkg.size=739856
file ce6f2d2e6474ebcbbd3b196712f4410688105f2c chash=9cfd5c718a9a030c72a0f7d22b50029a7dbe56bb facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/minisat/ReleaseNotes-2.2.0.txt pkg.csize=1636 pkg.size=3430
file 2e7cabb3db04cbff392149c4225c3e1b75d64369 chash=e4854386be52fa8ca080b7209394258d5e9ccdba facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/minisat/changelog.gz pkg.csize=23481 pkg.size=23453
file 94e05137826ac10b6bc20e1f53523cded26805ab chash=74e1ef8f696337c4253b271fb35ca82e78c360df facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/minisat/user-guide.html pkg.csize=3330 pkg.size=8334
file f558605e17f9212d8fd2b72e0409fb605cbb7b8f chash=7983f4b70a2dd0efb957bccb2b6cff82ab30bc24 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/minisat.1 pkg.csize=1800 pkg.size=4145 restart_fmri=svc:/application/man-index:default
legacy arch=i386 category=develop,application desc="see: pkg info developer/hets/minisat" name="SAT solver MiniSat" pkg=LNFminisat version=2.2.0.20130925
license b4fd3df2762aecfe9d532681ba00b1bbee9a2500 chash=69ce17e99487460e07443ee94a02a54a48eb674d license=LNFminisat.copyright pkg.csize=91 pkg.size=120
depend fmri=pkg:/library/zlib@1.2 type=require
depend fmri=pkg:/system/library/gcc/gcc-c++-runtime@4.8 type=require
depend fmri=pkg:/system/library/math@0.5 type=require
depend fmri=pkg:/system/library@0.5 type=require