Showing
- plot_scripts/table_optimum_ratios.py 0 additions, 0 deletionsplot_scripts/table_optimum_ratios.py
- plot_scripts/table_pl_sizes.py 6 additions, 6 deletionsplot_scripts/table_pl_sizes.py
- src/precomputation/trivial_reformulation.cpp 0 additions, 0 deletionssrc/precomputation/trivial_reformulation.cpp
- src/solvers/pl_eca_2.cpp 4 additions, 1 deletionsrc/solvers/pl_eca_2.cpp
- src/solvers/pl_eca_3.cpp 4 additions, 1 deletionsrc/solvers/pl_eca_3.cpp
plot_scripts/table_optimum_ratios.py
100644 → 100755
File mode changed from 100644 to 100755
plot_scripts/table_pl_sizes.py
100644 → 100755
src/precomputation/trivial_reformulation.cpp
100644 → 100755
File mode changed from 100644 to 100755