Module Avatar_intf.S.Solver

module Solver: Sat_solver.S