/tools/

• ../
• 000_gendata
• 001_derive_h48
• 100_checkdata
• 300_solve_small
• 301_solve_file
• 302_solve_multisol
• 400_solvetest
• expected_distributions.h
• nissy_extra.h
• tool.h