# IC3

- [source](https://github.com/siis/ic3)
- [paper](https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7194563&tag=1)
- language: Java 7
- Build: Maven
- number of years without at least 1 commit since first commit: 8
- License: Apache 2.0