gillian » Gillian » Logic

Module Gillian.Logic

module Reduction = Engine.Reduction

module FOSolver = Engine.FOSolver

module Simplifications = Engine.Simplifications