A Python parser for SMT-LIB, SyGuS and ProgSynth formats.
Project description
progpysmt - A SMT-LIB, SyGuS and ProgSynth parser
This repository is a modification of pySMT: a Python API for SMT. The goal of this project is to extend the parser in order to accept the SyGuS format and adapts the output to the ProgSynth format.
Usage
In order to use the SMT-LIB parser from the original pySMT
repository, please follow the instructions on their personal github.
In order to use the parser on a given file of name file_name
:
from progpysmt.smtlib.parser import ProgSmtLibParser
from progpysmt.pslobject import PSLObject
parser = ProgSmtLibParser()
with open(file_name) as f:
pslobject = parser.get_script(f, file_name)
This will create a PSLObject
that contains all the values required to use ProgSynth.
Installation
From source
If you install this from source, you will need Python 3.7 or higher.
Poetry
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
progpysmt-0.1.1.tar.gz
(359.4 kB
view hashes)
Built Distribution
progpysmt-0.1.1-py3-none-any.whl
(317.8 kB
view hashes)
Close
Hashes for progpysmt-0.1.1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3da62f27ff277a76fe7055102f4430f80d778ced0ba7a1aef3be7a133a645078 |
|
MD5 | 574fb2dee34b70596e0ba51dec3432ad |
|
BLAKE2b-256 | 1832f1ac8a46b0ca3ff21737152cd4b55932309291038006734128c6767c0b3f |