| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | clause.h | 1756 | logplain |
| -rw-r--r-- | clause_store.h | 2204 | logplain |
| -rw-r--r-- | literal.h | 1358 | logplain |
| -rw-r--r-- | symbol_table.h | 2349 | logplain |
| -rw-r--r-- | term.h | 1472 | logplain |
| -rw-r--r-- | term_bank.h | 2770 | logplain |
| -rw-r--r-- | types.h | 2971 | logplain |
 |
index : ratp | |
| A saturation-based automated theorem prover for first-order logic. |
| aboutsummaryrefslogtreecommitdiff |