Package Health Score

69 / 100

security
No known security issues
popularity
Small
maintenance
Inactive
community
Active

Explore Similar Packages

Popularity

Small

GitHub Stars: 580
Forks: 131
Contributors: 40

Direct Usage Popularity

Based on project statistics from the GitHub repository for the PyPI package progpysmt, we found that it has been starred 580 times.

Security

No known security issues

Security and license risk for latest version

Release Date: Feb 22, 2024
Direct Vulnerabilities: 0
C
0
H
0
M
0
L
Indirect Vulnerabilities: 0
C
0
H
0
M
0
L
License Risk: 0
H
0
M
0
L

All security vulnerabilities belong to production dependencies of direct and indirect packages.

License

Apache-2.0

Security Policy

We found a way for you to contribute to the project! Looks like progpysmt is missing a security policy.

You can connect your project's repository to Snyk to stay up to date on security alerts and receive automatic fix pull requests.

Keep your project free of vulnerabilities with Snyk

Maintenance

Inactive

Commit Frequency

Open Issues: 62
Open PR: 29
Last Release: 10 months ago
Last Commit: 5 months ago

Further analysis of the maintenance status of progpysmt based on released PyPI versions cadence, the repository activity, and other data points determined that its maintenance is Inactive.

We found that progpysmt demonstrates a positive version release cadence with at least one new version released in the past 12 months.

As a healthy sign for on-going project maintenance, we found that the GitHub repository had at least 1 pull request or issue interacted with by the community.

Community

Active

Readme: Yes
Contributing.md: Yes
Code of Conduct: No
Contributors: 40
Funding: No

With more than 10 contributors for the progpysmt repository, this is possibly a sign for a growing and inviting community.

We found a way for you to contribute to the project! Looks like progpysmt is missing a Code of Conduct.

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Ensure all the packages you're using are healthy and well-maintained

Snyk Vulnerability Scanner

Get health score & security insights directly in your IDE

Package

Python Versions Compatibility: >=3.6,<4.0

Age: 11 months
Latest Release: 10 months ago
Dependencies: 1 Direct / 1 Total
Versions: 3
Maintainers: 0
Wheels: OS Independent

Readme

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.

Install

You can use pip to install the project.

pip install progpysmt

progpysmt dependencies

cython

FAQs

What is progpysmt?

A Python parser for SMT-LIB, SyGuS and ProgSynth formats. Visit Snyk Advisor to see a full health score report for progpysmt, including popularity, security, maintenance & community analysis.

Is progpysmt popular?

The python package progpysmt receives a total of 199 weekly downloads. As such, progpysmt popularity was classified as small. Visit the popularity section on Snyk Advisor to see the full health analysis.

Is progpysmt well maintained?

We found indications that progpysmt is an Inactive project. See the full package health analysis to learn more about the package maintenance status.

Is progpysmt safe to use?

The python package progpysmt was scanned for known vulnerabilities and missing license, and no issues were found. Thus the package was deemed as safe to use. See the full health analysis review.

Last updated on 21 December-2024, at 07:19 (UTC).

Build a secure application checklist

Select a recommended open source package

Minimize your risk by selecting secure & well maintained open source packages

DONE

Scan your app for vulnerabilities

Scan your application to find vulnerabilities in your: source code, open source dependencies, containers and configuration files

SCAN NOW

Fix identified vulnerabilities

Easily fix your code by leveraging automatically generated PRs

AUTO FIX

Monitor for new issues

New vulnerabilities are discovered every day. Get notified if your application is affected

MONITOR APP

progpysmt

A Python parser for SMT-LIB, SyGuS and ProgSynth formats. For more information about how to use this package see README

Ensure you're using the healthiest python packages

Package Health Score

Explore Similar Packages

Popularity

Direct Usage Popularity

Security

Security and license risk for latest version

Maintenance

Commit Frequency

Community

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Snyk Vulnerability Scanner

Package

Readme

progpysmt - A SMT-LIB, SyGuS and ProgSynth parser

Usage

Installation

From source

Install

progpysmt dependencies

FAQs

What is progpysmt?

Is progpysmt popular?

Is progpysmt well maintained?

Is progpysmt safe to use?

Build a secure application checklist

Select a recommended open source package

Scan your app for vulnerabilities

Fix identified vulnerabilities

Monitor for new issues

Package Health Score

Explore Similar Packages

Direct Usage Popularity

Security and license risk for latest version

Commit Frequency

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Snyk Vulnerability Scanner

Readme

progpysmt - A SMT-LIB, SyGuS and ProgSynth parser

Usage

Installation

From source

Install

progpysmt dependencies

FAQs

What is progpysmt?

Is progpysmt popular?

Is progpysmt well maintained?

Is progpysmt safe to use?

Build a secure application checklist

Select a recommended open source package

Scan your app for vulnerabilities

Source Code

Open Source

Container

Config

Fix identified vulnerabilities

Monitor for new issues