tava/baxmc

A CEGAR-based solver for maximum model counting

Last synced at: 10 months ago - Stars: 0 - Forks: 1