Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/facebookarchive/smt2utils

Libraries and tools for the SMT-LIB-2 standard.
https://github.com/facebookarchive/smt2utils

Last synced: about 1 month ago
JSON representation

Libraries and tools for the SMT-LIB-2 standard.

Host: GitHub
URL: https://github.com/facebookarchive/smt2utils
Owner: facebookarchive
License: apache-2.0
Archived: true
Created: 2021-01-26T01:52:23.000Z (over 3 years ago)
Default Branch: main
Last Pushed: 2021-12-13T01:55:09.000Z (over 2 years ago)
Last Synced: 2024-05-13T08:09:52.827Z (about 2 months ago)
Language: Jupyter Notebook
Size: 8.01 MB
Stars: 21
Watchers: 15
Forks: 12
Open Issues: 4
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE-APACHE
- Code of conduct: CODE_OF_CONDUCT.md

Lists

awesome-rust-formalized-reasoning - smt2utils - libraries and tools for the SMT-LIB-2 standard. (Projects / Libraries)

README

        # smt2utils: Libraries and tools for the SMT-LIB-2 standard

[![Build Status](https://github.com/facebookincubator/smt2utils/workflows/Rust/badge.svg)](https://github.com/facebookincubator/smt2utils/actions?query=workflow%3ARust)

[![License](https://img.shields.io/badge/license-Apache-green.svg)](LICENSE-APACHE)

[![License](https://img.shields.io/badge/license-MIT-green.svg)](LICENSE-MIT)

This project aims to develop Rust libraries and tools around the [SMT-LIB-2

standard](http://smtlib.cs.uiowa.edu/language.shtml).

The SMT-LIB-2 format (SMT2 for short) is the reference input format for many SMT solvers such

as Z3 and CVC4.

## Content

* [smt2parser](smt2parser) is generic parsing library for SMT2 commands.

* [smt2proxy](smt2proxy) is an experimental tool to intercept and pre-process SMT2

  commands before they are sent to an SMT solver.

* [z3tracer](z3tracer) is an experimental library and tool to process Z3 logs obtained by

  passing the options `trace=true proof=true`.

* [smt2patch](smt2patch) is an experimental library and tool to modify SMT files.

The code in this repository is still under active development.

## Contributing

See the [CONTRIBUTING](CONTRIBUTING.md) file for how to help out.

## License

This project is available under the terms of either the [Apache 2.0

license](LICENSE-APACHE) or the [MIT license](LICENSE-MIT).