| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | clause.h | 1757 | logplain |
| -rw-r--r-- | clause_store.h | 2050 | logplain |
| -rw-r--r-- | literal.h | 1363 | logplain |
| -rw-r--r-- | symbol_table.h | 2209 | logplain |
| -rw-r--r-- | term.h | 1498 | logplain |
| -rw-r--r-- | term_bank.h | 1721 | logplain |
| -rw-r--r-- | types.h | 2993 | logplain |
 |
index : ratp | |
| A saturation-based automated theorem prover for first-order logic. |
| aboutsummaryrefslogtreecommitdiff |