| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 6 | logplainblame |
| -rw-r--r-- | Makefile | 287 | logplainblame |
| -rw-r--r-- | README.md | 44 | logplainblame |
| d--------- | include / sat_arith | 36 | logplain |
| d--------- | tests | 111 | logplain |
 |
index : sat_arith | |
| GNU libstdc++v3 sat_arith.h ported to C | kimi.h.kuparinen+sat_arith@gmail.com |
| aboutsummaryrefslogtreecommitdiff |