可满足性求解程序zchaff是怎么用数组来实现存储子句的

可满足性求解程序zchaff是怎么用数组来实现存储子句的，看不懂zchaff源代码......