series revision 91c0a04f8a6d3c1121460346e0e12cf40c4e1faa
adapted-makefile
manpages
picosat-trace-option