def Trestle.Solver.Impl.D4Command.ModelCount (cmd : String := "d4") (flags : List String := []) : Solver.ModelCount IO

Command-line d4 interface.

d4 can perform exact model counting efficiently.

This solver lives in IO, since we need access to process invocation.

Equations

• One or more equations did not get rendered due to their size.