menu
fixed_z3 package
documentation
z3.dart
Context
boolSort property
boolSort property
dark_mode
light_mode
boolSort
property
BoolSort
boolSort
late
final
The type of booleans.
Implementation
late final boolSort = _getSort(_boolSort) as BoolSort;
fixed_z3 package
documentation
z3
Context
boolSort property
Context class