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	Moved stand-alone libs to libs/ directory and added libs/subcircuit	2013-02-27 09:32:19 +01:00
ezsat	Add WASI platform support.	2020-04-30 18:56:25 +00:00
json11	libs: import json11.	2019-09-30 15:53:11 +00:00
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