[pkgdb] picosat was added for jjames

[Fedora PackageDB]

tibbs has added Package picosat with summary A SAT solver
tibbs has approved Package picosat
tibbs has added a Fedora devel branch for picosat with an owner of jjames
tibbs has approved picosat in Fedora devel
tibbs has approved Package picosat
tibbs has set commit to Approved for provenpackager on picosat (Fedora devel)
tibbs has set checkout to Approved for provenpackager on picosat (Fedora devel)
tibbs has set build to Approved for provenpackager on picosat (Fedora devel)

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