Module Symbolic.FO_logic

First-order logic

module Reduction : sig ... end
module FOSolver : sig ... end