Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Fedora
>
13
>
x86_64
>
by-pkgid
>
70330e4649393bfe7ba61536629d2be8
>
files
>
5
minisat2-2.0-9.20070721.fc12.x86_64.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse
c c start with comments c c p cnf 5 3 1 -5 4 0 -1 5 3 4 0 -3 -4 0