Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
Index to all operations
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
.
./\
(
Dimacs.Build
)
.\/
(
Dimacs.Build
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
B
boolVars2AssocList
(
Dimacs.Solver
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
C
cnf
(
Dimacs.Build
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
D
dist
(
Dimacs.Build
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
E
executable
(
Dimacs.Solver
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
F
filterTauts
(
Dimacs.Build
)
flags
(
Dimacs.Solver
)
flatten
(
Dimacs.Build
)
flattenAnd
(
Dimacs.Build
)
flattenOr
(
Dimacs.Build
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
I
isTaut
(
Dimacs.Build
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
L
lingeling
(
Dimacs.Solver
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
M
maxVar
(
Dimacs.Types
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
N
nnf
(
Dimacs.Build
)
no
(
Dimacs.Build
)
nubB
(
Dimacs.Build
)
nv
(
Dimacs.Build
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
S
solveWithDimacs
(
Dimacs.Solver
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
T
toCNF
(
Dimacs.Build
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
V
va
(
Dimacs.Build
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
X
xor
(
Dimacs.Build
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
Z
z3Dimacs
(
Dimacs.Solver
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z