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