1 files changed, 21 insertions, 0 deletions
diff --git a/examples/api/python/helloworld.py b/examples/api/python/helloworld.py
new file mode 100755
index 000000000..472cf945b
--- /dev/null
+++ b/examples/api/python/helloworld.py
@@ -0,0 +1,21 @@
+#!/usr/bin/env python
+
+#####################
+#! \file helloworld.py
+## \verbatim
+## Top contributors (to current version):
+##   Makai Mann
+## This file is part of the CVC4 project.
+## Copyright (c) 2009-2018 by the authors listed in the file AUTHORS
+## in the top-level source directory) and their institutional affiliations.
+## All rights reserved.  See the file COPYING in the top-level source
+## directory for licensing information.\endverbatim
+##
+## \brief A very simple CVC4 tutorial example, adapted from helloworld-new.cpp
+import pycvc4
+from pycvc4 import kinds
+
+if __name__ == "__main__":
+    slv = pycvc4.Solver()
+    helloworld = slv.mkConst(slv.getBooleanSort(), "Hello World!")
+    print(helloworld, "is", slv.checkValidAssuming(helloworld))