console-output

================

Z3 running C++ Api

Cd into this folder and run

g++ -o zthree  -I/Users/lkloh/z3/src/api -I/Users/lkloh/z3/src/api/c++ zthree.cpp libz3.dylib -lpthread

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
README.md		README.md
chen_smt.smt2		chen_smt.smt2
first.pl		first.pl
forall_model.smt2		forall_model.smt2
get_unsat_core		get_unsat_core
get_unsat_core.cc		get_unsat_core.cc
libz3.dylib		libz3.dylib
many-subst.smt2		many-subst.smt2
real_example.smt2		real_example.smt2
run_cvc4		run_cvc4
run_cvc4.cc		run_cvc4.cc
smtlib_test.smt2		smtlib_test.smt2
smtlib_unsat_core.smt2		smtlib_unsat_core.smt2
test_unify.smt2		test_unify.smt2
testing_constraints_sat.smt2		testing_constraints_sat.smt2
testing_constraints_unsat.smt2		testing_constraints_unsat.smt2
unify.smt2		unify.smt2
unsat-core.smt2		unsat-core.smt2
unsat_test.smt2		unsat_test.smt2
z3		z3
z3_string.smt2		z3_string.smt2
zthree		zthree
zthree.cpp		zthree.cpp