integer var in smt made
smt test
no incremental solving allowed
need to find smt engine
added src
add alls
added cvc4 temp
Merge pull request #4 from rapid-net/faking

Faking