Static Public Member Functions | List of all members
SimpleSatProgram Class Reference

Minimal CP-SAT example to showcase calling the solver. More...

Static Public Member Functions

static void main (String[] args) throws Exception
 

Detailed Description

Minimal CP-SAT example to showcase calling the solver.

Definition at line 21 of file SimpleSatProgram.java.

Member Function Documentation

◆ main()

static void SimpleSatProgram.main ( String []  args) throws Exception
inlinestatic

Definition at line 26 of file SimpleSatProgram.java.

The documentation for this class was generated from the following file: