---
language:
- en
---

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;
}
```