rustsat-tools 0.2.3

Tools and examples built on the RustSAT library
1
2
3
4
5
6
7
8
9
10
11
12

[![Build & Test](https://github.com/chrjabs/rustsat/actions/workflows/tools.yml/badge.svg)](https://github.com/chrjabs/rustsat/actions/workflows/tools.yml)
[![crates.io](https://img.shields.io/crates/v/rustsat-tools)](https://crates.io/crates/rustsat-tools)
[![docs.rs](https://img.shields.io/docsrs/rustsat-tools)](https://docs.rs/rustsat-tools)
[![License](https://img.shields.io/crates/l/rustsat-tools)](../LICENSE)

<!-- cargo-rdme start -->

# rustsat-tools - Tools for and with the RustSAT Library

This crate contains tools for and built on the RustSAT library.

<!-- cargo-rdme end -->