add_executable(up_proof up_proof.cc)
target_link_libraries(up_proof PUBLIC glasgow_constraint_solver)

