PV1 ⊧ GANAKCounts number of possible solutions for a Boolean formula

Application domain/field

• Model counting
• Boolean formula

Type of tool

Model counter

Expected input

• Boolean formula $F$
• Confidence $\delta$

Format:

• Boolean formula: CNF file
• Confidence $\delta$: ?

Expected output

The number of solutions of the formula $F$ with confidence at least $1-\delta$