Package dimacs
All operations
All constructors
Module Index
Base Libraries
Curry Packages
Curry Homepage
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
_
_
_impl#/=#Prelude.Eq#Dimacs.Types.Boolean
(
Dimacs.Types
)
_impl#==#Prelude.Eq#Dimacs.Types.Boolean
(
Dimacs.Types
)
_impl#===#Prelude.Data#Dimacs.Solver.SolverConfig
(
Dimacs.Solver
)
_impl#===#Prelude.Data#Dimacs.Types.Boolean
(
Dimacs.Types
)
_impl#aValue#Prelude.Data#Dimacs.Solver.SolverConfig
(
Dimacs.Solver
)
_impl#aValue#Prelude.Data#Dimacs.Types.Boolean
(
Dimacs.Types
)
_impl#show#Prelude.Show#Dimacs.Types.Boolean
(
Dimacs.Types
)
_impl#showList#Prelude.Show#Dimacs.Types.Boolean
(
Dimacs.Types
)
_impl#showsPrec#Prelude.Show#Dimacs.Types.Boolean
(
Dimacs.Types
)
_inst#Prelude.Data#Dimacs.Solver.SolverConfig
(
Dimacs.Solver
)
_inst#Prelude.Data#Dimacs.Types.Boolean
(
Dimacs.Types
)
_inst#Prelude.Eq#Dimacs.Types.Boolean
(
Dimacs.Types
)
_inst#Prelude.Show#Dimacs.Types.Boolean
(
Dimacs.Types
)
.
B
C
D
E
F
I
L
M
N
S
T
V
X
Z
_