need a function to check the problem is solved by some solution

[xuanzhaogao]

may add a interface such as is_solved(problem, solution)

[c-allergic]

some problem such as coloring has is_vertex_coloring interface, maybe more?

[xuanzhaogao]

I mean a unified interface for all problems, such as the is_solved_and_festiable in JuMP.jl, https://jump.dev/JuMP.jl/stable/manual/solutions/

May be you can just dispatch this function for different problems to their own.

[c-allergic]

• is_factoring
• is_max_cut_solved
• is_QUBO_solved
• is_spin_glass_solved

Seems most are done, the first one need to be done, what about the rest of the four?