rustsat

v0.6.3

This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance. For more information about how to use this package see README

Latest version published 2 days ago

License: MIT

PyPI

GitHub

Package Health Score

69 / 100

security
No known security issues
popularity
Limited
maintenance
Healthy
community
Sustainable

Explore Similar Packages

Popularity

Limited

GitHub Stars: 12
Forks: 7
Contributors: 7

Direct Usage Popularity

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

Security

No known security issues

Security and license risk for latest version

Release Date: Dec 20, 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 rustsat 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

Healthy

Commit Frequency

Open Issues: 6
Open PR: 3
Last Release: 2 days ago
Last Commit: 24 days ago

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

We found that rustsat demonstrates a positive version release cadence with at least one new version released in the past 3 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: Yes
Code of Conduct: No
Contributors: 7
Funding: No

This project has seen only 10 or less contributors.

We found a way for you to contribute to the project! Looks like rustsat 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.7

Age: 1 year
Latest Release: 2 days ago
Dependencies: N/A
Versions: 8
Maintainers: 0
Wheels: Linux, macOS, Windows

Readme

Python API for RustSAT

This is the Python API for RustSAT. Currently this API is very minimal and not the focus of this project. For now, only the API of certain encodings is available.

Installation

The Python bindings can be installed from PyPI.

Documentation

Documentation for this API can be found here.

FAQs

What is rustsat?

This library aims to provide implementations of elements commonly used in the development on software in the area of sa... Visit Snyk Advisor to see a full health score report for rustsat, including popularity, security, maintenance & community analysis.

Is rustsat popular?

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

Is rustsat well maintained?

We found that rustsat demonstrated a healthy version release cadence and project activity. It has a community of 7 open source contributors collaborating on the project. See the full package health analysis to learn more about the package maintenance status.

Is rustsat safe to use?

The python package rustsat 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 22 December-2024, at 09:00 (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