/scripts/

• ../
• sat_solution
• solution_kconfig