/src/theory/arith/
../
Makefile
Makefile.am
kinds
theory_arith.h