Open fitzgen opened 1 year ago
We should add Context::with_z3 etc convenience methods for common solvers that pass the usual flags to get that solver in its REPL mode. This way users don't have to remember and/or cargo cult Context::new invocations.
Context::with_z3
Context::new
We should add
Context::with_z3etc convenience methods for common solvers that pass the usual flags to get that solver in its REPL mode. This way users don't have to remember and/or cargo cultContext::newinvocations.