Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
Index to all constructors
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
A
All
(
XFD.Solver
)
Assert
(
XFD.SMTLib.Types
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
C
CheckSat
(
XFD.SMTLib.Types
)
CmdCheckSatResponse
(
XFD.SMTLib.Types
)
CmdGenResponse
(
XFD.SMTLib.Types
)
CmdGetModelResponse
(
XFD.SMTLib.Types
)
CmdGetValueResponse
(
XFD.SMTLib.Types
)
Config
(
XFD.Solver
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
D
Debug
(
XFD.Solver
)
DeclareConst
(
XFD.SMTLib.Types
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
E
Echo
(
XFD.SMTLib.Types
)
EOF
(
XFD.SMTLib.Scanner
)
Equ
(
XFD.FD
)
Error
(
XFD.SMTLib.Types
)
Exit
(
XFD.SMTLib.Types
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
F
FDAbs
(
XFD.FD
)
FDAllDiff
(
XFD.FD
)
FDAnd
(
XFD.FD
)
FDBinExp
(
XFD.FD
)
FDCount
(
XFD.FD
)
FDFalse
(
XFD.FD
)
FDInt
(
XFD.FD
)
FDNot
(
XFD.FD
)
FDOr
(
XFD.FD
)
FDRelCon
(
XFD.FD
)
FDScalar
(
XFD.FD
)
FDSum
(
XFD.FD
)
FDTrue
(
XFD.FD
)
FDVar
(
XFD.FD
)
First
(
XFD.Solver
)
FirstN
(
XFD.Solver
)
FunDef
(
XFD.SMTLib.Types
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
G
Geq
(
XFD.FD
)
GetModel
(
XFD.SMTLib.Types
)
GetValue
(
XFD.SMTLib.Types
)
Gt
(
XFD.FD
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
I
Id
(
XFD.SMTLib.Scanner
)
ISymbol
(
XFD.SMTLib.Types
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
K
KW_defineFun
(
XFD.SMTLib.Scanner
)
KW_error
(
XFD.SMTLib.Scanner
)
KW_model
(
XFD.SMTLib.Scanner
)
KW_sat
(
XFD.SMTLib.Scanner
)
KW_unknown
(
XFD.SMTLib.Scanner
)
KW_unsat
(
XFD.SMTLib.Scanner
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
L
Leq
(
XFD.FD
)
LParen
(
XFD.SMTLib.Scanner
)
Lt
(
XFD.FD
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
M
Maximize
(
XFD.Solver
)
Minimize
(
XFD.Solver
)
Minus
(
XFD.FD
)
MRDefineFun
(
XFD.SMTLib.Types
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
N
Neq
(
XFD.FD
)
Number
(
XFD.SMTLib.Scanner
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
O
OP_Minus
(
XFD.SMTLib.Scanner
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
P
Persist
(
XFD.Solver
)
Plus
(
XFD.FD
)
Pop
(
XFD.SMTLib.Types
)
ProduceModels
(
XFD.SMTLib.Types
)
Push
(
XFD.SMTLib.Types
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
Q
QIdentifier
(
XFD.SMTLib.Types
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
R
RParen
(
XFD.SMTLib.Scanner
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
S
Sat
(
XFD.SMTLib.Types
)
SetLogic
(
XFD.SMTLib.Types
)
SetOption
(
XFD.SMTLib.Types
)
SimplifyAdd
(
Dimacs.FromFD
)
SimplifyMul
(
Dimacs.FromFD
)
SimplifySub
(
Dimacs.FromFD
)
SortId
(
XFD.SMTLib.Types
)
SortIdentifiers
(
XFD.SMTLib.Types
)
SpecConstantNumeral
(
XFD.SMTLib.Types
)
Str
(
XFD.SMTLib.Scanner
)
Success
(
XFD.SMTLib.Types
)
SV
(
XFD.SMTLib.Types
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
T
TermQualIdentifier
(
XFD.SMTLib.Types
)
TermQualIdentifierT
(
XFD.SMTLib.Types
)
TermSpecConstant
(
XFD.SMTLib.Types
)
Times
(
XFD.FD
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
U
Unknown
(
XFD.SMTLib.Types
)
Unsat
(
XFD.SMTLib.Types
)
Unsupported
(
XFD.SMTLib.Types
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
V
ValuationPair
(
XFD.SMTLib.Types
)
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V