Alessandro Tempia Calvino

This PR includes: - A new LUT mapper called `lut_map` offers delay- and area-oriented mapping. Cost functions can be used to define the cost of each LUT during mapping. -...

Algebraic methods for AIGs and XAGs

1

This PR adds: - AIG balancing - XAG algebraic depth reduction (rules based on AND-associativity, XOR-associativity, AND-distributivity, AND-OR-distributivity, AND-XOR-distributivity) - Methods to check if a node is present in the...

Bug in refactoring

2

**Describe the bug** Refactoring can lead to segmentation fault which is detected by the assert at line 267 in `mffc_view`. This is due to the use of reference counters to...

Non-deterministic behavior in ESOP computation

1

**Describe the bug** Non-deterministic behavior in ESOP computation in Kitty. Functions `esop_from_optimum_pkrm`, and `esop_from_pprm_slow` use an `unordered_set` data structure to store the cubes. That content is moved to a vector...