Alliance/Coriolis Toolkit & Checker contain various design flow examples, blocks or full chips. It is also used as a regression test for all the tools.

Coriolis VLSI CAD Tools

Special version of the M4RI library for the PPAR class.

Coriolis VLSI CAD Tools

The BoolEAN POLynomial Evaluation library