How to install Discrete Event Calculus Reasoner

"How to install Discrete Event Calculus Reasoner" is not written yet.