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