Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile | 79 | logplain |
-rw-r--r-- | Makefile.am | 507 | logplain |
-rw-r--r-- | arith_constants.h | 1521 | logplain |
-rw-r--r-- | arith_rewriter.cpp | 15343 | logplain |
-rw-r--r-- | arith_rewriter.h | 3151 | logplain |
-rw-r--r-- | arith_utilities.h | 3570 | logplain |
-rw-r--r-- | basic.h | 1266 | logplain |
-rw-r--r-- | delta_rational.cpp | 1089 | logplain |
-rw-r--r-- | delta_rational.h | 2965 | logplain |
-rw-r--r-- | kinds | 923 | logplain |
-rw-r--r-- | normal_form_notes.txt | 14880 | logplain |
-rw-r--r-- | partial_model.cpp | 8311 | logplain |
-rw-r--r-- | partial_model.h | 6194 | logplain |
-rw-r--r-- | slack.h | 857 | logplain |
-rw-r--r-- | tableau.h | 8027 | logplain |
-rw-r--r-- | theory_arith.cpp | 22560 | logplain |
-rw-r--r-- | theory_arith.h | 3150 | logplain |
-rw-r--r-- | theory_arith_type_rules.h | 2527 | logplain |