Add a description, image, and links to the functional-programming-in-java topic page so that developers can more easily learn about it.
This repository contains a maintained and modernized version of the Espresso logic minimizer, originally developed at the University of California, Berkeley. Espresso is a heuristic multi-valued PLA ...