wisp - Revision 12680: /trunk/keys/src/Maxwalksat20

• ..
• Makefile
• README.maxwalksat
• _
• f100u.cnf
• maxwalksat.c
• steinb15.min50cnf
• steinb7min1.cnf