// 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.packagecom.google.ortools.examples;importcom.google.ortools.sat.CpModel;importcom.google.ortools.sat.IntVar;importcom.google.ortools.sat.Literal;/** Code sample to demonstrate Boolean variable and literals. */publicclassLiteralSampleSat{static{System.loadLibrary("jniortools");}publicstaticvoidmain(String[]args)throwsException{CpModelmodel=newCpModel();IntVarx=model.newBoolVar("x");LiteralnotX=x.not();System.out.println(notX.getShortString());}}