-
Robert Ricci authored
values for configuration parameters, such as some of the cooling parameters, scoring values, etc. Also add a -D option to dump these parametrs, as well as the command line, for posterity. Refresh the dependency list at the end of the makefile
a75155ae