add_vde_test(test_constraint_solver)
