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