Added fanin-cone collection.
Added rudimentary SAT solving support.
Merge updates from master into sat branch.