BoolExpr should be initializable with C++ boolean values
Open
- Dominant language
- C++
- Stars
- 335
- Forks
- 88
- Avg merge
- 1h 28m
- Merged PRs (30d)
- 1
Description
This code works:
```
LinIntExpr e = 0;
```
but this code fails:
```
BoolExpr e = false;
```
It seems that it should be possible to initialize BoolExpr with a C++ boolean value.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.