Documentation

Trestle.Solver.Impl.ApproxMCCommand

source
def Trestle.Solver.Impl.ApproxMCCommand (cmd : String := "approxmc") (flags : List String := []) :
ModelCount IO

Command-line ApproxMC solver

Lives in IO, since we need access to process invocation.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Trestle.Solver.Impl.ApproxMCCommand.parseOutput (s : String) :
    Except String ℕ
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For