/
.gitignore
COPYING
Makefile
casa
common
example.citmodel
example.constraints
example.coveringarray
minisat