File: example-Schur.cnf

package info (click to toggle)
drat-trim 0.0~git20240428.effa1dc-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 7,816 kB
  • sloc: ansic: 1,912; sh: 36; makefile: 30
file content (33 lines) | stat: -rw-r--r-- 486 bytes parent folder | download 
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
 
p cnf 9 32
  1  2  3 0
 -1 -2 -3 0 
  1  3  4 0     
 -1 -3 -4 0 
  1  4  5 0     
 -1 -4 -5 0 
  2  3  5 0     
 -2 -3 -5 0 
  1  5  6 0     
 -1 -5 -6 0 
  2  4  6 0     
 -2 -4 -6 0 
  1  6  7 0     
 -1 -6 -7 0 
  2  5  7 0     
 -2 -5 -7 0 
  3  4  7 0     
 -3 -4 -7 0 
  1  7  8 0     
 -1 -7 -8 0 
  2  6  8 0     
 -2 -6 -8 0 
  3  5  8 0     
 -3 -5 -8 0 
  1  8  9 0     
 -1 -8 -9 0 
  2  7  9 0     
 -2 -7 -9 0 
  3  6  9 0     
 -3 -6 -9 0 
  4  5  9 0     
 -4 -5 -9 0