-
Notifications
You must be signed in to change notification settings - Fork 13
/
.gitignore
64 lines (53 loc) · 983 Bytes
/
.gitignore
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
*.so
*.o
*.un~
*.swp
*.swo
*.pyc
*.log
callgrind.*
bla*
cpplint.py
CMakeCache.txt
CMakeFiles
CTest*.cmake
cmake_install.cmake
Makefile
compile_commands.json
.ycm_extra_conf.py
DartConfiguration.tcl
target
Testing
test-driver
tests/clause-test
tests/dense-test
tests/formula-test
tests/hash-test
tests/ints-test
tests/limsat-test
tests/lit-test
tests/Makefile
tests/ringbuffer-test
tests/sat-test
tests/singleton-test
tests/subsets-test
tests/syntax-test
examples/minesweeper/minesweeper
examples/minesweeper/minesweeper-js.js*
examples/tui/tui
examples/tui/tui-js.js*
examples/tui/jquery.mousewheel-min.js
examples/tui/jquery.terminal-1.0.10.css
examples/tui/jquery.terminal-1.0.10.min.js
examples/tui/unix_formatting.js
examples/sat/sat
examples/sat/limsat
examples/sat/functionalize
examples/sat/pigeonhole
examples/sat/pigeons
examples/sat/sudokus
examples/sudoku/sudoku
examples/sudoku/sudoku-js.js*
examples/jquery-*.min.js
examples/*/jquery-*.min.js
examples/demo.*