anchor.diff:  It also verifies that it found a feasible solution (no hard constraints broken).
   
   Normally, the solver finds a feasible solution in less than 200 milliseconds.
  -Notice how the `@SpringBootTest` annotation's `properties` overwrites the solver termination
  +Notice how the `@SpringBootTest` annotation's properties overwrites the solver termination
   to terminate as soon as a feasible solution (`0hard/*soft`) is found.
   This avoids hard coding a solver time, because the unit test might run on arbitrary hardware.
   This approach ensures that the test runs long enough to find a feasible solution, even on slow machines.
  
positive.code: 
  == Make the application executable
  
  Package everything into a single, executable JAR file driven by a standard Java `main()` method:
  
  Replace the `DemoApplication.java` class created by Spring Initializr
  with the `src/main/java/com/example/TimeTableSpringBootApp.java` class:
  
negative.code: 
  . https://spring.io/guides/gs/accessing-data-rest/[Expose them through REST].
  
  . Build a `TimeTableRepository` facade to read and write a `TimeTable` instance in a single transaction.
  
  . Adjust the `TimeTableController` accordingly:
  +
  