.gitignore

Makefile
Makefile.in
configure
config.log
config.status
aclocal.m4
autom4te.cache
libtool
*.gz
*.patch
*.o
*~
\#*#
.*
!.gitignore
*.bak
*.err
stdout
*.lo
*.la
*.orig
*.rej
*.old
TAGS
INSTALL
*.log
callgrind.*
ms_print.*
massif.*
pan.*
*.dvi
*.aux
*.ps
*.pdf
*.toc
massif.*
*.zip
*.S
*.tgba
*.zip
*.s
*.ii
cachegrind.*
*.gcda
*.gcno
*.info
ltdl
config.h
config.h.in
src/src/misc/_config.h
_configs.sed
stamp-h1
*.trs
_*_
spot-*/*
config.cache
*.json
*.fdb_latexmk
*.xz
dt*ba-sat.cnf
dt*ba-sat.out
dt*ba-sat.dbg
*.exe
*.tex
*.out
*.cnf
*.html
*.dstar
*.satlog
*.png