zhanghongce / ic3ref Goto Github PK
View Code? Open in Web Editor NEWThis project forked from arbrad/ic3ref
IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
License: Other