whitequark 21d44ebec7 minisat: add missing include guard for WASI. ... Including signal.h used to be allowed in WASI by mistake, but it's an error since SDK 11.		2020-06-21 21:26:21 +00:00
..
bigint	…
ezsat	Add WASI platform support.	2020-04-30 18:56:25 +00:00
json11	…
minisat	minisat: add missing include guard for WASI.	2020-06-21 21:26:21 +00:00
sha1	Use static constexpr instead of static const where possible.	2020-04-14 14:19:38 -07:00
subcircuit	Use static constexpr instead of static const where possible.	2020-04-14 14:19:38 -07:00