Create README.md

README.md

@@ -0,0 +1,26 @@
+---
+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;
+}
+```