computational-problem-solving
diff --git a/‎lib/api/decide.js
-14 b/‎lib/api/decide.js
-14
diff --git a/‎lib/api/from.js
-43 b/‎lib/api/from.js
-43
diff --git a/‎lib/api/index.js
-54 b/‎lib/api/index.js
-54
diff --git a/‎lib/api/solve.js
-33 b/‎lib/api/solve.js
-33
diff --git a/‎lib/api/verify.js
-14 b/‎lib/api/verify.js
-14
diff --git a/‎lib/core/SAT0W/SAT0W.js
-68 b/‎lib/core/SAT0W/SAT0W.js
-68
diff --git a/‎lib/core/SAT0W/index.js
-42 b/‎lib/core/SAT0W/index.js
-42
diff --git a/‎lib/core/SAT0W/setup_watchlist.js
-41 b/‎lib/core/SAT0W/setup_watchlist.js
-41