adapted-makefile
manpages
picosat-trace-option