// Copyright 2010-2018 Google LLC// Licensed under the Apache License, Version 2.0 (the "License");// you may not use this file except in compliance with the License.// You may obtain a copy of the License at//// http://www.apache.org/licenses/LICENSE-2.0//// Unless required by applicable law or agreed to in writing, software// distributed under the License is distributed on an "AS IS" BASIS,// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.// See the License for the specific language governing permissions and// limitations under the License.#include "ortools/sat/cp_model.h"namespaceoperations_research{namespacesat{voidLiteralSampleSat(){CpModelBuildercp_model;constBoolVarx=cp_model.NewBoolVar().WithName("x");constBoolVarnot_x=Not(x);LOG(INFO)<<"x = "<<x<<", not(x) = "<<not_x;}}// namespace sat}// namespace operations_researchintmain(){operations_research::sat::LiteralSampleSat();returnEXIT_SUCCESS;}