![[BIEN - Basic Income Earth Network]](/~hany/_pics/bienlogo.gif)
| Index | index by Group | index by Distribution | index by Vendor | index by date | index by Name | Hany |
| picosat-965-2.fc24.i686 | A SAT solver | Fedora 24 i386 |
| picosat-965-2.fc24.x86_64 | A SAT solver | Fedora 24 x86_64 |
| picosat-960-2.fc23.i686 | A SAT solver | Fedora 23 i386 |
| picosat-960-2.fc23.x86_64 | A SAT solver | Fedora 23 x86_64 |
![[Feywa - Resource Allocation Tool]](/~hany/_pics/banner1_feywa.png)
Generated by rpm2html 1.11.3
Peter Hanecak, Tue Jun 28 02:54:12 2016