caletechnology/codeblocks-satisfier-nosetup

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

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

int main (/* implementation-defined */)
{
  Suppose_literal (K, true);
  Suppose_literal (M, true);
  
  auto T = K. Implying (M);
  
  std::cout << "Hello world!" << std::endl;
  
  return -1073741819;
}