GitHub repository: Colton1skees/Gamba.NET
Primary language: Smalltalk
Created: 2023-08-24T01:32:00Z
Description: Mixed boolean arithmetic simplifier combining equality saturation with the GAMBA algorithm