diff --git a/tig-algorithms/wasm/satisfiability/test_schnoing.wasm b/tig-algorithms/wasm/satisfiability/test_schnoing.wasm
new file mode 100644
index 00000000..517afb15
Binary files /dev/null and b/tig-algorithms/wasm/satisfiability/test_schnoing.wasm differ