guile-z3

.gitignore

/INSTALL
/Makefile
/Makefile.in
/aclocal.m4
/autom4te.cache
/build-aux
/config.log
/config.status
/configure
/env
*.go
*~
/z3.scm
/config.cache
/test-suite.log
/tests/*.log
/tests/*.trs


1	/INSTALL
2	/Makefile
3	/Makefile.in
4	/aclocal.m4
5	/autom4te.cache
6	/build-aux
7	/config.log
8	/config.status
9	/configure
10	/env
11	*.go
12	*~
13	/z3.scm
14	/config.cache
15	/test-suite.log
16	/tests/*.log
17	/tests/*.trs
18