/test/monniaux/picosat-965/

• ../
• LICENSE
• Makefile
• NEWS
• README
• VERSION
• app.c
• config.h
• configure.sh
• main.c
• mkconfig.sh
• onefile
• picogcnf.c
• picomcs.c
• picomus.c
• picosat.c
• picosat.h
• small.dat
• sudoku.sat
• tiny.dat
• version.c