*.tracecheck
*.svg
*.log
/target
rustsat-cadical/cadical-rel-2.0.0/src/build.hpp
