LPPaver-0.0.3.1: An automated prover targeting problems that involve nonlinear real arithmetic
Copyright(c) Junaid Rasheed 2021-2022
LicenseMPL
Maintainerjrasheed178@gmail.com
Stabilityexperimental
Safe HaskellSafe-Inferred
LanguageHaskell2010

LPPaver.Constraint.Type

Description

Module defining the Constraint data type.

Synopsis

Documentation

data Constraint Source #

The Constraint data type is used to represent non-strict inequalities. The LHS is a list of String variables along with their Rational coefficients. The RHS is a Rational number.

Constructors

GEQ [(String, Rational)] Rational 
LEQ [(String, Rational)] Rational