Skip to content

Latest commit

 

History

History
9 lines (6 loc) · 582 Bytes

File metadata and controls

9 lines (6 loc) · 582 Bytes

expresso-logic-minimizer-cpp

Port of espresso logic heuristic

This is a c++ wrapper for the espresso logic heuristic. The original source code comes from the University of California, Berkeley.

Roughly based on the NodeJS bridge to it

Not currently complete-needs more testing because I kinda hamfistted porting it to visual studio/windows. Visual studio files are setup with correct build configuration. Cmake files might be setup in the future.