Commit | Line | Data |
---|---|---|
7eeb782e AT |
1 | STS-RV 1.0 |
2 | ||
3 | 1. What is STS-RV? | |
4 | 2. How is it distributed? | |
5 | 3. Who created it? | |
6 | 4. How to use it? | |
7 | 5. Structure of the STS-RV | |
8 | 6. Acknowledgements | |
9 | ||
10 | ||
11 | 1. WHAT IS STS-RV? | |
12 | ----------------- | |
13 | STS-RV is a Semeai Test Suite that uses GTP regression features with | |
14 | 722 semeai problems. | |
15 | ||
16 | ||
17 | 2. HOW IS IT DISTRIBUTED? | |
18 | ------------------------- | |
19 | STS-RV is distributed under GPL license. | |
20 | ||
21 | ||
22 | 3. WHO CREATED IT? | |
23 | ------------------ | |
24 |