congruence
| Crates.io | congruence |
| lib.rs | congruence |
| version | 0.4.0 |
| created_at | 2022-01-03 02:36:44.406816+00 |
| updated_at | 2022-01-11 23:07:32.490054+00 |
| description | A simple implementation of congruence closure |
| homepage | |
| repository | https://gitlab.com/tekne/congruence |
| max_upload_size | |
| id | 506843 |
| size | 120,135 |
Jad Ghalayini (imbrem)
documentation
README
congruence
An implementation of congruence closure, CongruenceClosure, which drives modifications to an arbitrary union-find ADT implementing the UnionFind trait.
Based on Nieuwenhuis and Oliveras Proof-producing Congruence Closure, except without the proof production.
A minimal disjoint set forest implementation with dense usize nodes, DisjointSetForest, is also provided.