Opp igjennom karrieren har Magnus støtt på utfordrende planleggingsproblemer med kombinatorisk kompleksitet. Da han oppdaget constraint solvers medførte det en aha-opplevelse og et nyttig verktøy til i beltet. I denne lyntalen gir Magnus en kort innføring i hva constraint-solvers er og når de kan være et godt alternativ å vurdere. Selvfølgelig må vi også se på et lite praktisk eksempel hvor vi bruker et constraint-solver bibliotek (timefold-solver).