Libre Silicon Compiler
The place and route problem on silicon can be solved through integer difference logic which is closely related to integer programming.
The Libre Silicon Compiler solves several routing tasks by symbolic computation. It also pays special attention the dependency graph of cell modules and resolves it parallel.
lsc fills out the blanks, so you can run, for example, a placement tool and use its output in lsc.
We plan timing-oriented synthesis from RTL, which will give decisive advantage in later process steps.