Builds fine with:

diff --git a/picosat.spec b/picosat.spec
index 1f0007c..8b8a46d 100644
--- a/picosat.spec
+++ b/picosat.spec
@@ -112,6 +112,7 @@ cp -p %{SOURCE1} %{SOURCE2} %{SOURCE3} $RPM_BUILD_ROOT%{_mandir}/man1

 %files libs
 %doc NEWS
+%{!?_licensedir:%global license %%doc}
 %license LICENSE
 %{_libdir}/libpicosat-trace.so.*
 %{_libdir}/libpicosat.so.*

I am not interested in maintaining EPEL packages, but I have no problem at all with interested parties branching packages I maintain for EPEL.

Note that I plan to retire csisat soon, which will make picosat's Patch1 unnecessary.

Thanks, I'll maintain it then.  Mind if I push the change in comment #1 to master?

Package Change Request
======================
Package Name: picosat
New Branches: epel7 el6
Owners: orion
InitialCC:

Git done (by process-git-requests).

picosat-960-2.el7 has been submitted as an update to Fedora EPEL 7. https://bodhi.fedoraproject.org/updates/FEDORA-EPEL-2015-4f9ba2b001

picosat-960-2.el6 has been submitted as an update to Fedora EPEL 6. https://bodhi.fedoraproject.org/updates/FEDORA-EPEL-2015-bfb1e9b44b

picosat-960-2.el6 has been pushed to the Fedora EPEL 6 testing repository. If problems still persist, please make note of it in this bug report.
If you want to test the update, you can install it with
$ su -c 'yum --enablerepo=epel-testing update picosat'
You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-EPEL-2015-bfb1e9b44b

picosat-960-2.el7 has been pushed to the Fedora EPEL 7 testing repository. If problems still persist, please make note of it in this bug report.
If you want to test the update, you can install it with
$ su -c 'yum --enablerepo=epel-testing update picosat'
You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-EPEL-2015-4f9ba2b001

picosat-960-2.el6 has been pushed to the Fedora EPEL 6 stable repository. If problems still persist, please make note of it in this bug report.

picosat-960-2.el7 has been pushed to the Fedora EPEL 7 stable repository. If problems still persist, please make note of it in this bug report.