| Mode | Name | Size | |
|---|---|---|---|
| d--------- | core | 126 | logplain |
| d--------- | frontend | 42 | logplain |
| d--------- | index | 43 | logplain |
| d--------- | infer | 126 | logplain |
| -rw-r--r-- | main.cc | 3543 | logplain |
| d--------- | normalize | 41 | logplain |
| d--------- | proof | 42 | logplain |
| d--------- | rewrite | 84 | logplain |
| d--------- | search | 37 | logplain |
| d--------- | simplify | 82 | logplain |
| d--------- | strategy | 47 | logplain |
 |
index : ratp | |
| A saturation-based automated theorem prover for first-order logic. |
| aboutsummaryrefslogtreecommitdiff |