these-android-re/rasta
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rasta/rasta_exp/docker/ic3
History
Exact
Jean-Marie Mineau cd1e91bb99
first commit
2023-11-16 14:30:24 +01:00
..
home_build first commit 2023-11-16 14:30:24 +01:00
provided_build first commit 2023-11-16 14:30:24 +01:00
RASTA_VERSION first commit 2023-11-16 14:30:24 +01:00
README.md first commit 2023-11-16 14:30:24 +01:00
test.py first commit 2023-11-16 14:30:24 +01:00

README.md

IC3

  • source
  • paper
  • language: Java 7
  • Build: Maven
  • number of years without at least 1 commit since first commit: 8
  • License: Apache 2.0