[pkgdb] sat4j was added for overholt

[Fedora PackageDB (pkgdb)]

Kevin Fenzi (kevin) has added Package sat4j with summary A library of SAT solvers written in Java
Kevin Fenzi (kevin) has approved Package sat4j
Kevin Fenzi (kevin) has added a Fedora devel branch for sat4j with an owner of overholt
Kevin Fenzi (kevin) has approved sat4j in Fedora devel
Kevin Fenzi (kevin) has approved Package sat4j
Kevin Fenzi (kevin) has set commit to Approved for cvsextras on sat4j (Fedora devel)
Kevin Fenzi (kevin) has set build to Approved for cvsextras on sat4j (Fedora devel)
Kevin Fenzi (kevin) has set checkout to Approved for cvsextras on sat4j (Fedora devel)

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