#basic #structures #packages #type #defines #rusty-fast-solver

rusty-kernel-tools

Basic data structures for the rusty-fast-solvers set of packages

2 releases

0.1.1 Jun 29, 2021
0.1.0 Apr 26, 2021

#77 in #defines


Used in rusty-tree

BSD-3-Clause

6KB
77 lines

rusty-kernel-tools

This is a very basic Rust library that contains data structures and types used throughout the other rusty-fast-solver packages.


lib.rs:

This crate defines basic data structures and types used throughout the other rusty-fast-solver crates.

Dependencies

~1.5MB
~30K SLoC