arbrad / IC3refLinks

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
57Updated 10 years ago

Alternatives and similar repositories for IC3ref

Users that are interested in IC3ref are comparing it to the libraries listed below

Sorting: