tava/baxmc

A CEGAR-based solver for maximum model counting

Last synced at: over 1 year ago - Stars: 0 - Forks: 1