added sat/smt examples and added exports, cleaned up other examples, removed rv_push