| 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.