Module `Sidekick_msat_solver`

Implementation of a Solver using Msat

module Vec = Msat.Vec

module Log = Msat.Log

module IM = Sidekick_util.Util.Int_map

module type ARG = sig ... end

module type S = Sidekick_core.SOLVER

module Make : functor (A : ARG) -> S with module A = A