summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose2/XAlloc.h
Commit message (Collapse)AuthorAgeFilesLines
* Extend WASI platform support for glucose2.whitequark2021-11-271-0/+4
| | | | Abort on OOM since there are no C++ exceptions yet.
* Duplicating Glucose package.Alan Mishchenko2020-11-121-0/+53