langston-barrett / fin-part-ord

A crate for representing finite partial orders

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Finite Partial Orders

This crate provides a trait and datatypes for representing finite partial orders. See the API documentation for more information.

About

A crate for representing finite partial orders

License:MIT License


Languages

Language:Rust 98.8%Language:Nix 1.2%