.gitignore « picosat-959 « scripts - linux-conf-perf - Tool for automatic performance analysis of Linux

about summary refs log tree commit diff

path: root/scripts/picosat-959/.gitignore

blob: 829187e01194ab03ec45583761cafdbf5a1d1f2e (plain)

config.h
libpicosat.a
makefile
picogcnf
picomcnf
picomus
picosat
picomcs