IC3 reference implementation: a short, simple, fairly competitive implementation of IC3.  Read it, tune it, extend it, play with it.