Is there any material to guide me to write a command for ABC-model checker?

Question

I want to understand and utilize the ABC model checker(Berkerly), hopefully adding a new command for it. I have read the powerpoint that this site https://www.dropbox.com/s/