sat: Sync samples

This commit is contained in:
Corentin Le Molgat
2021-11-03 17:29:24 +01:00
parent 6f4788888b
commit b34db0dffc
2 changed files with 2 additions and 0 deletions

View File

@@ -46,6 +46,7 @@ public final class SolveWithTimeLimitSampleSat {
System.out.println("z = " + solver.value(z));
}
}
private SolveWithTimeLimitSampleSat() {}
}
// [END program]