egglog 3.0.0

egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular rust library egg.
Documentation 
1
2
3
4
5
6
7
8
9
10

pub(crate) mod proof_checker;
pub(crate) mod proof_container_rebuild;
pub(crate) mod proof_encoding;
pub(crate) mod proof_encoding_helpers;
pub(crate) mod proof_extraction;
pub(crate) mod proof_extractor;
pub(crate) mod proof_format;
pub(crate) mod proof_normal_form;
pub(crate) mod proof_simplification;
pub(crate) mod proof_tests;