Import sorter network code from maxSatUZK