diff options
| author | whitequark <whitequark@whitequark.org> | 2020-12-29 13:35:31 +0000 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2021-11-12 12:38:41 +0100 |
| commit | e289a8059eac7d0514f8a20ffe6464fc18db1450 (patch) | |
| tree | 9cd00ced8077caeb9bdf376911ab1b4e3b5fe355 /src/sat/glucose/SimpSolver.cpp | |
| parent | d2d6bbd9f86f61fc9b5cc7d703e1386bbd6ad6a2 (diff) | |
| download | abc-e289a8059eac7d0514f8a20ffe6464fc18db1450.tar.gz abc-e289a8059eac7d0514f8a20ffe6464fc18db1450.tar.bz2 abc-e289a8059eac7d0514f8a20ffe6464fc18db1450.zip | |
Add WASI platform support to bsat2 and glucose.
Abort on OOM since there are no C++ exceptions yet.
Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
Diffstat (limited to 'src/sat/glucose/SimpSolver.cpp')
0 files changed, 0 insertions, 0 deletions