mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
15 lines
478 B
ReStructuredText
15 lines
478 B
ReStructuredText
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/c/helloworld.c
|
|
<examples>/api/java/HelloWorld.java
|
|
<examples>/api/python/pythonic/helloworld.py
|
|
<examples>/api/python/helloworld.py
|
|
<examples>/api/smtlib/helloworld.smt2
|