A linear a/sync values solver - View it on GitHub