| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | clause.h | 1764 | logplain |
| -rw-r--r-- | clause_store.h | 2204 | logplain |
| -rw-r--r-- | literal.h | 1364 | logplain |
| -rw-r--r-- | symbol_table.h | 2353 | logplain |
| -rw-r--r-- | term.h | 1475 | logplain |
| -rw-r--r-- | term_bank.h | 2780 | logplain |
| -rw-r--r-- | types.h | 2971 | logplain |
 |
index : ratp | |
| A saturation-based automated theorem prover for first-order logic. |
| aboutsummaryrefslogtreecommitdiff |