create all vars
zero val added
added all constraints
added to clist
function
outline
constraint
smt-test to use cvc4 only
new
Merge pull request #3 from rapid-net/faking

Faking