rename sudoku.py to sudoky_sat.py

2018-11-19 18:05:31 -08:00
parent 76add52ca4
commit 4379a89323
2 changed files with 1 additions and 1 deletions
--- a/examples/python/sudoku_sat.py
+++ b/examples/python/sudoku_sat.py
--- a/makefiles/Makefile.python.mk
+++ b/makefiles/Makefile.python.mk
@@ -725,7 +725,7 @@ test_python_python: \
 rpy_single_machine_scheduling_with_setup_release_due_dates_sat \
 rpy_steel_mill_slab_sat \
 rpy_stigler_diet \
- rpy_sudoku \
+ rpy_sudoku_sat \
 rpy_tasks_and_workers_assignment_sat \
 rpy_transit_time \
 rpy_tsp \