modify default solver parameters
[cl-cudd.git] / .gitignore
blobfb2001086c164e1fb0bf4d390bf5bbd34fdda978
1 *~
2 *.o
3 *.a
4 *.so
5 *.sw[pqrs]
6 *.fasl
7 # autogenerated:
8 cuddapi.lisp
9 distr/include/*.h
10 distr/include/*.hh
11 distr/nanotrav/nanotrav