I would start using MIP solver for the research on the tiling.
I know (heard of) the open source solver jump:
https://github.com/JuliaOpt/JuMP.jl
and also the gold standard solver from IBM cplex.
I need to do a series of MIP calculations and probably construct programs to automatically call the computations in cplex or jump and then use another mathematical software like polymake to analyze the data in terms of polytope.
I have no prior knowledge in jump, cplex, or polymake and I just know some super basic knowledge in C. Which solver do you think it would suit my purpose or do you have some suggestion on how shall I (computationally) approach this problem?