/sci-mathematics/nusmv/files/

• ../
• MiniSat_v1.14-optimizedlib.patch
• MiniSat_v1.14_gcc41.patch
• cudd-no-pentium4.patch