Rustsat

Latest version: v0.5.1

The latest version of rustsat with no known security vulnerabilities is 0.5.1. We recommend installing version 0.5.1.

The information on this page was curated by experts in our Cybersecurity Intelligence Team.

Latest release: v0.5.1 at June 12, 2024
License: MIT (MIT License)

Description

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.

Resources

PyPi

Vulnerabilities

See all vulnerabilities

No known vulnerabilities found

Versions (6)

See all versions

Has known vulnerabilities

0.5.1
0.5.0
0.4.3
0.4.2
0.4.1
0.4.0