Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Fedora > 15 > i386 > by-pkgid > 7473fb15bcd876d1fa71e7352b04009d > files > 4

glueminisat-2.2.5-3.fc15.i686.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

==================================================
                GlueMiniSat2.2.5
==================================================

(1) For building,
 ./build.sh

(2) For running,
 ./glueminisat -compe BENCHNAME