Upload codeblocks-satisfier-nosetup-version2.zip

Example of client-82.cpp for codeblocks-satisfier-nosetup-version2

```
// client-82.cpp
#include <satisfier>
#include <iostream>

int main()
{

Suppose_literal (K, true);
Suppose_literal (M, true);

Satisfy::
Formula T = K.
Implying (M);

std::cout << "Hello world!" << std::endl;


return -1073741819;
}
```

codeblocks-satisfier-nosetup-version2.zip

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:3d61b27f3f156931363a2c6480f1d8f53457b5cd3481e5a0a62c6c1ce7af2055
+size 176993468