Kiwi usage example in C++

main.cpp

// I couldn't find any example showing the how to use the C++ constraint
// solver library 'Kiwi' ( https://github.com/nucleic/kiwi ).
//
// Hopefully this Gist will save someone a couple of minutes.
//
// To build:
// clang++ main.cpp

#include <iostream>

#include "kiwi/kiwi.h"

int main() {
  
  kiwi::Variable a, b, c;
  
  kiwi::Constraint constraint1(a == b * 2 + 10);
  kiwi::Constraint constraint2(2 * c == b - 10);
  kiwi::Constraint constraint3(c == 3);
  
  kiwi::Solver solver;
  
  solver.addConstraint(constraint1);
  solver.addConstraint(constraint2);
  solver.addConstraint(constraint3);
  
  solver.updateVariables();
  std::cout << a.value() << std::endl;
  
  return EXIT_SUCCESS;
}