aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/.gitignore
blob: 829187e01194ab03ec45583761cafdbf5a1d1f2e (plain)
1
2
3
4
5
6
7
8
config.h
libpicosat.a
makefile
picogcnf
picomcnf
picomus
picosat
picomcs