Any example of c++ interface?

[Dingbao Xie]

I downloaded the stp project from github, but only found a simple example of c interface.

Can anybody tell me how to write the code in c++ interface to solve the following problem.

x:boolean

y:boolean

t1: _BitVec(8)

t2: _BitVec(8)

assert (or x y)

assert (=> (x (bvlue t1 t2)))

assert (=> (y (bvlue t2 t1)))

check-sat

I also want to get the model value of the boolean variables if the constraint set is sat.