| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | clean | 560 | logplain |
| -rw-r--r-- | errlog | 0 | logplain |
| -rwxr-xr-x | eval_bevan.sh | 332 | logplain |
| -rwxr-xr-x | format_prolog.py | 567 | logplain |
| -rw-r--r-- | test.out | 2690 | logplain |
| -rw-r--r-- | test.pl | 35016 | logplain |
 |
index : smt-semparse | |
| Mirror of https://github.com/pks/smt-semparse.git |
| summaryrefslogtreecommitdiff |