- Produce starting paths using stuff in starting_path directory
- Use simple (but fast) improvements in simple_opt directory to get lenght of paths to something around 7 milion
- Use mega_opt to reduce length even further.
- Use stuff in final_push to get length of path even more down. But this stuff optimizes average lenght of paths. So use mega_opt to bring paths lenghts back together.
There is also our implementation of ILP + SAT + custom spliting pipeline. It's in directory ilp. You don't need to use it.
##How to get a good lowerbound:
- Produce ajdust.dat using lower_bound/adjust (you also obtain a reasonably good lowerbound)
- Get lowerbound for cycles and paths using lower_bound/ilp_lowerbound
- Get lowerbound edges using lower_bound/ilp_edges