menu
z3 package
documentation
z3.dart
constVar function
constVar function
dark_mode
light_mode
constVar
function
ConstVar
constVar
(
String
name
,
Sort
sort
)
Implementation
ConstVar constVar(String name, Sort sort) => ConstVar(Sym(name), sort).declare();
z3 package
documentation
z3
constVar function
z3 library