In this branch, the repository got a restructure. The functionality of utils.jl has been split over multiple files. There are also two new data structures for Benchmarks and problem-grammar-pairs. The two legacy files 'run_enumeration_benchmarks.jl' and 'run_search_benchmarks.jl' have been removed, since they are made for an older version.
In this branch, the repository got a restructure. The functionality of
utils.jlhas been split over multiple files. There are also two new data structures for Benchmarks and problem-grammar-pairs. The two legacy files 'run_enumeration_benchmarks.jl' and 'run_search_benchmarks.jl' have been removed, since they are made for an older version.