*.[oa]
*.lo
*.la
Makefile.in
.deps
.idea
.DS_Store
cmake-build-*
.*.swp
INSTALL
aclocal.m4
autom4te.cache/
autotools/
config.log
config.status
configure
libtool
m4/libtool.m4
m4/ltoptions.m4
m4/ltsugar.m4
m4/ltversion.m4
m4/lt~obsolete.m4
opensmt
src/bin/.dirstamp
test/regression/*/log-*
src/PySMT/opensmt.py
.ycm_extra_conf.py
.ycm_extra_conf.pyc
.ccls*
authors.txt
build*/
delta/parser/__pycache__/
examples/_opensmt.so
examples/opensmt.py
examples/opensmt.pyc
examples/pyopensmt.so
examples/test
examples/test2
examples/test_c
examples/test_itp
examples/test_lra_itp
loopbreak-0.dot
opensmt-master
regression/linkage/test
regression/linkage/test_c
regression/state-dump/bar-00.smt2
regression/state-dump/bar-01.smt2
regression/state-dump/foo-00.osmt2
regression/state-dump/foo-01.osmt2
src/PySMT/opensmt_python_wrap.c
src/api/.dirstamp
