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/helloworld.cpp
../../examples/api/java/HelloWorld.java
../../examples/api/python/helloworld.py
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback