/scripts/

• ../
• sat_solution