Package: librust-egg-dev
Source: rust-egg
Version: 0.6.0+ds-4
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Jonas Smedegaard <dr@jones.dk>
Installed-Size: 270
Depends: librust-indexmap-dev, librust-log-dev, librust-once-cell-dev, librust-smallvec-dev, librust-symbolic-expressions-dev
Suggests: graphviz
Provides: librust-egg-0.6.0-dev (= 0.6.0+ds-4)
Section: rust
Priority: optional
Homepage: https://github.com/egraphs-good/egg
Description: implementation of egraphs - Rust source code
 egg (EGraphs Good) is an e-graph library
 optimized for equality saturation.
 .
 The function "Dot" requires the executable "dot" to be available,
 which is provided by the package "graphviz".
 .
 This package contains the source for the Rust crate egg,
 for use with cargo.
