# IC3
 
- [fork](https://github.com/JordanSamhi/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: 0
- License: Apache 2.0
