Llama's logic base package.
Llama's circuit family generator.
Llama's base circuit diagnostic package.
Llama's litle QBF solver.
Llama's automatic circuit fault modeler.