View python-sat on Snyk Open Source Advisor

Package Health Score

68 / 100

security
No known security issues
popularity
Recognized
maintenance
Inactive
community
Sustainable

Popularity

Recognized

GitHub Stars: 401
Forks: 71
Contributors: 20

Direct Usage Popularity

Based on project statistics from the GitHub repository for the PyPI package python-sat, we found that it has been starred 401 times.

Security

No known security issues

Security and license risk for latest version

Release Date: May 12, 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

MIT

Security Policy

We found a way for you to contribute to the project! Looks like python-sat 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: 31
Open PR: 3
Last Release: 8 months ago
Last Commit: 8 months ago

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

We found that python-sat 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

Sustainable

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

With more than 10 contributors for the python-sat 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 python-sat 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: Unspecified

Age: 7 years
Latest Release: 8 months ago
Dependencies: 1 Direct / 1 Total
Versions: 157
Maintainers: 0
Wheels: Linux, macOS, Windows

Readme

A Python library providing a simple interface to a number of state-of-art Boolean satisfiability (SAT) solvers and a few types of cardinality and pseudo-Boolean encodings. The purpose of PySAT is to enable researchers working on SAT and its applications and generalizations to easily prototype with SAT oracles in Python while exploiting incrementally the power of the original low-level implementations of modern SAT solvers.

With PySAT it should be easy for you to implement a MaxSAT solver, an MUS/MCS extractor/enumerator, or any tool solving an application problem with the (potentially multiple) use of a SAT oracle.

Details can be found at .

python-sat dependencies

six

FAQs

What is python-sat?

A Python library for prototyping with SAT oracles. Visit Snyk Advisor to see a full health score report for python-sat, including popularity, security, maintenance & community analysis.

Is python-sat popular?

The python package python-sat receives a total of 46,712 weekly downloads. As such, python-sat popularity was classified as a recognized. Visit the popularity section on Snyk Advisor to see the full health analysis.

Is python-sat well maintained?

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

Is python-sat safe to use?

The python package python-sat 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 30 December-2024, at 23:47 (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

python-sat

A Python library for prototyping with SAT oracles For more information about how to use this package see README

Ensure you're using the healthiest python packages

Package Health Score

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

python-sat dependencies

FAQs

What is python-sat?

Is python-sat popular?

Is python-sat well maintained?

Is python-sat 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

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

python-sat dependencies

FAQs

What is python-sat?

Is python-sat popular?

Is python-sat well maintained?

Is python-sat 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