docs/examples/helloworld.rst


1
2
3
4
5
6
7
8
9
10
11

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/helloworld.py
    ../../examples/api/smtlib/helloworld.smt2