Hello World
===========

This example shows the very basic usage of the API.
We create a solver, declare a Boolean variable and check whether it is entailed (by ``true``, as nothing has been asserted to the solver).

.. api-examples::
    <examples>/api/cpp/helloworld.cpp
    <examples>/api/java/HelloWorld.java
    <examples>/api/python/pythonic/helloworld.py
    <examples>/api/python/helloworld.py
    <examples>/api/smtlib/helloworld.smt2
