revisit cp-sat service

This commit is contained in:
Laurent Perron
2021-02-20 17:39:14 +01:00
parent c820e87945
commit 0d77851fb5
2 changed files with 4 additions and 11 deletions

View File

@@ -748,6 +748,7 @@ message CpSolverResponse {
// Additional information about how the solution was found.
string solution_info = 20;
// Optional logs of the solver.
// Optional logs of the solver. They will be filled only if the parameter
// 'fill_logs_in_response' is set.
string logs = 26;
}

View File

@@ -15,7 +15,6 @@ syntax = "proto3";
package operations_research.sat.v1;
import "google/api/annotations.proto";
import "google/protobuf/duration.proto";
import "ortools/sat/cp_model.proto";
@@ -28,10 +27,7 @@ option java_outer_classname = "CpModelServiceProto";
// a solution of the problem.
service CpSolver {
// Single solve, sends a model, gets a response.
rpc SolveProblem(CpSolveRequest) returns (CpSolverResponse) {
option (google.api.http) = {
get: "/v1/{model=input problem/*/responses/*}"
};
rpc SolveProblem(CpSolverRequest) returns (CpSolverResponse) {
}
}
@@ -40,10 +36,6 @@ message CpSolverRequest {
// The model to solve.
CpModelProto model = 1;
// The max time the solver will spend while trying to find the optimal
// solution.
google.protobuf.Duration time_limit = 2;
// Extra solver parameters passed as a string.
string parameters_as_string = 3;
string parameters_as_string = 2;
}