How to use CEDAR Logic Simulator

"How to use CEDAR Logic Simulator" is not written yet.