Module `Goblint_constraint`

(Side-effecting) constraint systems.

Specification

module ConstrSys : sig ... end

constraint system signatures.

module SolverTypes : sig ... end

Solver signatures

Utilities

module Translators : sig ... end

Results

module VarQuery : sig ... end

Queries for constraint variables related to semantic elements.