Design of Compact Memristive In-Memory Computing Systems using Model Counting