+++
title = "Solving system of difference constraints"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["1c2a2"]
forwardlinks = ["1c2a4"]
zettelid = "1c2a3"
+++

The main idea is that if there are no negative cycles, then the system
of difference constraints is solvable.