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: "String::parse(&mut Parser::new(r#\"\"Hello \"\"world\"\" this is cool!\"\"#))"
---
Ok("\"Hello \"\"world\"\" this is cool!\"")