yaspar 2.7.0

Yet Another SMT Parser, a SMTLib 2.7 compliant parsing library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

# Yaspar

**Y**et **A**nother **S**MT **Pa**rser in **R**ust

This crate provides a parser for the [SMT-LIB 2.7](https://smt-lib.org/index.shtml)
language generated by the [LARLPOP](https://github.com/lalrpop/lalrpop) parser
generator. 

## Security

See [CONTRIBUTING](CONTRIBUTING.md#security-issue-notifications) for more information.

## License

This project is licensed under the Apache-2.0 License.