toysolver-0.3.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Copyright(c) Masahiro Sakai 2012
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilitynon-portable (ScopedTypeVariables, BangPatterns)
Safe HaskellNone
LanguageHaskell2010

ToySolver.Arith.CAD

Contents

Description

References:

Synopsis

Basic data structures

data Point c Source

Constructors

NegInf 
RootOf (UPolynomial c) Int 
PosInf 

Instances

Eq c => Eq (Point c) 
Ord c => Ord (Point c) 
Show c => Show (Point c) 

data Cell c Source

Constructors

Point (Point c) 
Interval (Point c) (Point c) 

Instances

Eq c => Eq (Cell c) 
Ord c => Ord (Cell c) 
Show c => Show (Cell c) 

Projection

project' :: forall v. (Ord v, Show v, PrettyVar v) => [(UPolynomial (Polynomial Rational v), [Sign])] -> [([(Polynomial Rational v, [Sign])], [Cell (Polynomial Rational v)])] Source

projectN' :: (Ord v, Show v, PrettyVar v) => Set v -> [(Polynomial Rational v, [Sign])] -> [([(Polynomial Rational v, [Sign])], Model v -> Model v)] Source

Solving

solve :: forall v. (Ord v, Show v, PrettyVar v) => Set v -> [ArithRel (Polynomial Rational v)] -> Maybe (Model v) Source

solve' :: forall v. (Ord v, Show v, PrettyVar v) => Set v -> [(Polynomial Rational v, [Sign])] -> Maybe (Model v) Source

Model

type Model v = Map v AReal Source