[pkgdb] glueminisat was added for jcp

[Fedora PackageDB]

limb has added Package glueminisat with summary Boolean SAT solver that implements literal blocks distance (LBD)
limb has approved Package glueminisat
limb has added a Fedora devel branch for glueminisat with an owner of jcp
limb has approved glueminisat in Fedora devel
limb has approved Package glueminisat
limb has set checkout to Approved for provenpackager on glueminisat (Fedora devel)
limb has set commit to Approved for provenpackager on glueminisat (Fedora devel)

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/acls/name/glueminisat