A simulation software for logical circuits.