smtlib-lowlevel 0.1.4

A low-level API for interacting with SMT solvers
Documentation 
1
2
3
4
5

---
source: lowlevel/src/tests.rs
expression: "d.exec(&Command::parse(r#\"(echo \"Hello, world!\")\"#)?)?"
---
SpecificSuccessResponse(EchoResponse(EchoResponse("\"Hello, world!\"")))