8 lines
251 B
Markdown
8 lines
251 B
Markdown
# 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
|