{"library":"smt2parser","type":"library","category":null,"description":"Generic parser library for the SMT-LIB-2 format.","language":"rust","status":"active","version":"0.6.1","tags":["smt","parser","smt-lib","formal-verification"],"last_verified":"Wed Jun 17","install":[{"cmd":"# Cargo.toml\n[dependencies]\nsmt2parser = \"0.6.1\"","imports":["use smt2parser::parse;"]},{"cmd":"cargo add smt2parser","imports":[]}],"homepage":"https://github.com/facebookincubator/smt2utils","github":"https://github.com/facebookincubator/smt2utils","docs":"https://docs.rs/smt2parser/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}