set name=pkg.fmri value=pkg://lnf/developer/hets/hets-provers@1.0,5.11-1.3.10.5:20160731T005636Z
set name=pkg.summary value="Heterogeneous Tool Set - provers"
set name=pkg.description value="This meta-package bundles all known provers which might be useful in hets related environments. It is just for convinience to be able to install all prover packages at once (and find out later the details)."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=https://github.com/spechub/Hets
set name=variant.arch value=i386
legacy arch=i386 category=develop,util,application desc="see: pkg info developer/hets/hets-provers" name="Heterogeneous Tool Set - provers" pkg=LNFhets-provers version=1.0
depend fmri=pkg:/developer/hets/cvc4 type=require
depend fmri=pkg:/developer/hets/darwin type=require
depend fmri=pkg:/developer/hets/e-darwin type=require
depend fmri=pkg:/developer/hets/ekrhyper type=require
depend fmri=pkg:/developer/hets/eprover type=require
depend fmri=pkg:/developer/hets/factplusplus type=require
depend fmri=pkg:/developer/hets/hol-light type=require
depend fmri=pkg:/developer/hets/kodkodi type=require
depend fmri=pkg:/developer/hets/leo2 type=require
depend fmri=pkg:/developer/hets/maude type=require
depend fmri=pkg:/developer/hets/minisat type=require
depend fmri=pkg:/developer/hets/satallax type=require
depend fmri=pkg:/developer/hets/spass type=require
depend fmri=pkg:/developer/hets/twelf type=require
depend fmri=pkg:/developer/hets/yices type=require
depend fmri=pkg:/developer/hets/z3 type=require
depend fmri=pkg:/developer/hets/zchaff type=require