File | Date | Author | Commit |
---|---|---|---|
examples | 2015-06-19 |
![]() |
[70b78c] korat 2015 sourceforge |
src | 2015-07-10 |
![]() |
[0d49f5] defect fix set#1 |
tests | 2015-06-19 |
![]() |
[70b78c] korat 2015 sourceforge |
LICENSE | 2015-06-19 |
![]() |
[70b78c] korat 2015 sourceforge |
README.md | 2015-06-19 |
![]() |
[70b78c] korat 2015 sourceforge |
build.xml | 2015-06-19 |
![]() |
[70b78c] korat 2015 sourceforge |
Enhance Korat to support GUI, FSM, JUNG and JSON.