arbrad/IC3ref

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

语言：C++ · GitHub 星标：75 · Fork：26

在 GitHub 上查看原仓库