.gitignore « lfsc_checker « proofs - cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

index : cvc5.git

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

git repository hosting

summary refs log tree commit diff

path: root/proofs/lfsc_checker/.gitignore

blob: 1f799d15ae76cdb90136a1a77367e48c2780bf49 (plain)

/autom4te.cache
/stamp-h
/config.h.in
/config.log
/config.status
/config.cache
/libtool
/stamp-h1
.dep
Makefile.in
/configure
/aclocal.m4
*~
\#*\#
/config/
*.swp

generated by cgit on debian on lair

contact matthew@masot.net with questions or feedback