toysolver-0.9.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
Copyright(c) Masahiro Sakai 2018
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilitynon-portable
Safe HaskellSafe-Inferred
LanguageHaskell2010
Extensions
  • MonoLocalBinds
  • ScopedTypeVariables
  • TypeFamilies
  • OverloadedStrings
  • KindSignatures
  • ExplicitNamespaces
  • ExplicitForAll

ToySolver.Converter.QUBO

Description

 

Documentation

qubo2pb :: Real a => Problem a -> (Formula, QUBO2PBInfo a) Source #

newtype QUBO2PBInfo a Source #

Constructors

QUBO2PBInfo Integer 

Instances

Instances details
FromJSON (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

parseJSON :: Value -> Parser (QUBO2PBInfo a) #

parseJSONList :: Value -> Parser [QUBO2PBInfo a] #

omittedField :: Maybe (QUBO2PBInfo a) #

ToJSON (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

toJSON :: QUBO2PBInfo a -> Value #

toEncoding :: QUBO2PBInfo a -> Encoding #

toJSONList :: [QUBO2PBInfo a] -> Value #

toEncodingList :: [QUBO2PBInfo a] -> Encoding #

omitField :: QUBO2PBInfo a -> Bool #

Read (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

readsPrec :: Int -> ReadS (QUBO2PBInfo a) #

readList :: ReadS [QUBO2PBInfo a] #

readPrec :: ReadPrec (QUBO2PBInfo a) #

readListPrec :: ReadPrec [QUBO2PBInfo a] #

Show (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

showsPrec :: Int -> QUBO2PBInfo a -> ShowS #

show :: QUBO2PBInfo a -> String #

showList :: [QUBO2PBInfo a] -> ShowS #

Eq (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

(==) :: QUBO2PBInfo a -> QUBO2PBInfo a -> Bool #

(/=) :: QUBO2PBInfo a -> QUBO2PBInfo a -> Bool #

(Eq a, Show a, Read a) => BackwardTransformer (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformBackward :: QUBO2PBInfo a -> Target (QUBO2PBInfo a) -> Source (QUBO2PBInfo a) Source #

(Eq a, Show a, Read a) => ForwardTransformer (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformForward :: QUBO2PBInfo a -> Source (QUBO2PBInfo a) -> Target (QUBO2PBInfo a) Source #

(Eq a, Show a, Read a, Num a) => ObjValueBackwardTransformer (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueBackward :: QUBO2PBInfo a -> TargetObjValue (QUBO2PBInfo a) -> SourceObjValue (QUBO2PBInfo a) Source #

(Eq a, Show a, Read a, Real a) => ObjValueForwardTransformer (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueForward :: QUBO2PBInfo a -> SourceObjValue (QUBO2PBInfo a) -> TargetObjValue (QUBO2PBInfo a) Source #

(Eq a, Show a, Read a) => ObjValueTransformer (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Associated Types

type SourceObjValue (QUBO2PBInfo a) Source #

type TargetObjValue (QUBO2PBInfo a) Source #

(Eq a, Show a, Read a) => Transformer (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Associated Types

type Source (QUBO2PBInfo a) Source #

type Target (QUBO2PBInfo a) Source #

type Source (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type Source (QUBO2PBInfo a) = Solution
type SourceObjValue (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type SourceObjValue (QUBO2PBInfo a) = a
type Target (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type Target (QUBO2PBInfo a) = Model
type TargetObjValue (QUBO2PBInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type TargetObjValue (QUBO2PBInfo a) = Integer

pb2qubo :: Real a => Formula -> ((Problem a, a), PB2QUBOInfo a) Source #

type PB2QUBOInfo a = ComposedTransformer PB2QUBOInfo' (PBAsQUBOInfo a) Source #

pbAsQUBO :: forall a. Real a => Formula -> Maybe (Problem a, PBAsQUBOInfo a) Source #

newtype PBAsQUBOInfo a Source #

Constructors

PBAsQUBOInfo Integer 

Instances

Instances details
FromJSON (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

parseJSON :: Value -> Parser (PBAsQUBOInfo a) #

parseJSONList :: Value -> Parser [PBAsQUBOInfo a] #

omittedField :: Maybe (PBAsQUBOInfo a) #

ToJSON (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

toJSON :: PBAsQUBOInfo a -> Value #

toEncoding :: PBAsQUBOInfo a -> Encoding #

toJSONList :: [PBAsQUBOInfo a] -> Value #

toEncodingList :: [PBAsQUBOInfo a] -> Encoding #

omitField :: PBAsQUBOInfo a -> Bool #

Read (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

readsPrec :: Int -> ReadS (PBAsQUBOInfo a) #

readList :: ReadS [PBAsQUBOInfo a] #

readPrec :: ReadPrec (PBAsQUBOInfo a) #

readListPrec :: ReadPrec [PBAsQUBOInfo a] #

Show (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

showsPrec :: Int -> PBAsQUBOInfo a -> ShowS #

show :: PBAsQUBOInfo a -> String #

showList :: [PBAsQUBOInfo a] -> ShowS #

Eq (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

(==) :: PBAsQUBOInfo a -> PBAsQUBOInfo a -> Bool #

(/=) :: PBAsQUBOInfo a -> PBAsQUBOInfo a -> Bool #

BackwardTransformer (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformBackward :: PBAsQUBOInfo a -> Target (PBAsQUBOInfo a) -> Source (PBAsQUBOInfo a) Source #

ForwardTransformer (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformForward :: PBAsQUBOInfo a -> Source (PBAsQUBOInfo a) -> Target (PBAsQUBOInfo a) Source #

Real a => ObjValueBackwardTransformer (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueBackward :: PBAsQUBOInfo a -> TargetObjValue (PBAsQUBOInfo a) -> SourceObjValue (PBAsQUBOInfo a) Source #

Num a => ObjValueForwardTransformer (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueForward :: PBAsQUBOInfo a -> SourceObjValue (PBAsQUBOInfo a) -> TargetObjValue (PBAsQUBOInfo a) Source #

ObjValueTransformer (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Associated Types

type SourceObjValue (PBAsQUBOInfo a) Source #

type TargetObjValue (PBAsQUBOInfo a) Source #

Transformer (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Associated Types

type Source (PBAsQUBOInfo a) Source #

type Target (PBAsQUBOInfo a) Source #

type Source (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type Source (PBAsQUBOInfo a) = Model
type SourceObjValue (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type SourceObjValue (PBAsQUBOInfo a) = Integer
type Target (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type Target (PBAsQUBOInfo a) = Solution
type TargetObjValue (PBAsQUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type TargetObjValue (PBAsQUBOInfo a) = a

qubo2ising :: (Eq a, Show a, Fractional a) => Problem a -> (IsingModel a, QUBO2IsingInfo a) Source #

newtype QUBO2IsingInfo a Source #

Constructors

QUBO2IsingInfo a 

Instances

Instances details
FromJSON a => FromJSON (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

parseJSON :: Value -> Parser (QUBO2IsingInfo a) #

parseJSONList :: Value -> Parser [QUBO2IsingInfo a] #

omittedField :: Maybe (QUBO2IsingInfo a) #

ToJSON a => ToJSON (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

toJSON :: QUBO2IsingInfo a -> Value #

toEncoding :: QUBO2IsingInfo a -> Encoding #

toJSONList :: [QUBO2IsingInfo a] -> Value #

toEncodingList :: [QUBO2IsingInfo a] -> Encoding #

omitField :: QUBO2IsingInfo a -> Bool #

Read a => Read (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

readsPrec :: Int -> ReadS (QUBO2IsingInfo a) #

readList :: ReadS [QUBO2IsingInfo a] #

readPrec :: ReadPrec (QUBO2IsingInfo a) #

readListPrec :: ReadPrec [QUBO2IsingInfo a] #

Show a => Show (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

showsPrec :: Int -> QUBO2IsingInfo a -> ShowS #

show :: QUBO2IsingInfo a -> String #

showList :: [QUBO2IsingInfo a] -> ShowS #

Eq a => Eq (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

(==) :: QUBO2IsingInfo a -> QUBO2IsingInfo a -> Bool #

(/=) :: QUBO2IsingInfo a -> QUBO2IsingInfo a -> Bool #

(Eq a, Show a) => BackwardTransformer (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformBackward :: QUBO2IsingInfo a -> Target (QUBO2IsingInfo a) -> Source (QUBO2IsingInfo a) Source #

(Eq a, Show a) => ForwardTransformer (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformForward :: QUBO2IsingInfo a -> Source (QUBO2IsingInfo a) -> Target (QUBO2IsingInfo a) Source #

(Eq a, Show a, Num a) => ObjValueBackwardTransformer (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueBackward :: QUBO2IsingInfo a -> TargetObjValue (QUBO2IsingInfo a) -> SourceObjValue (QUBO2IsingInfo a) Source #

(Eq a, Show a, Num a) => ObjValueForwardTransformer (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueForward :: QUBO2IsingInfo a -> SourceObjValue (QUBO2IsingInfo a) -> TargetObjValue (QUBO2IsingInfo a) Source #

ObjValueTransformer (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Associated Types

type SourceObjValue (QUBO2IsingInfo a) Source #

type TargetObjValue (QUBO2IsingInfo a) Source #

(Eq a, Show a) => Transformer (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Associated Types

type Source (QUBO2IsingInfo a) Source #

type Target (QUBO2IsingInfo a) Source #

type Source (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type Source (QUBO2IsingInfo a) = Solution
type SourceObjValue (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type SourceObjValue (QUBO2IsingInfo a) = a
type Target (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type Target (QUBO2IsingInfo a) = Solution
type TargetObjValue (QUBO2IsingInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type TargetObjValue (QUBO2IsingInfo a) = a

ising2qubo :: (Eq a, Num a) => IsingModel a -> (Problem a, Ising2QUBOInfo a) Source #

newtype Ising2QUBOInfo a Source #

Constructors

Ising2QUBOInfo a 

Instances

Instances details
FromJSON a => FromJSON (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

parseJSON :: Value -> Parser (Ising2QUBOInfo a) #

parseJSONList :: Value -> Parser [Ising2QUBOInfo a] #

omittedField :: Maybe (Ising2QUBOInfo a) #

ToJSON a => ToJSON (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

toJSON :: Ising2QUBOInfo a -> Value #

toEncoding :: Ising2QUBOInfo a -> Encoding #

toJSONList :: [Ising2QUBOInfo a] -> Value #

toEncodingList :: [Ising2QUBOInfo a] -> Encoding #

omitField :: Ising2QUBOInfo a -> Bool #

Read a => Read (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

readsPrec :: Int -> ReadS (Ising2QUBOInfo a) #

readList :: ReadS [Ising2QUBOInfo a] #

readPrec :: ReadPrec (Ising2QUBOInfo a) #

readListPrec :: ReadPrec [Ising2QUBOInfo a] #

Show a => Show (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

showsPrec :: Int -> Ising2QUBOInfo a -> ShowS #

show :: Ising2QUBOInfo a -> String #

showList :: [Ising2QUBOInfo a] -> ShowS #

Eq a => Eq (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

(==) :: Ising2QUBOInfo a -> Ising2QUBOInfo a -> Bool #

(/=) :: Ising2QUBOInfo a -> Ising2QUBOInfo a -> Bool #

(Eq a, Show a) => BackwardTransformer (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformBackward :: Ising2QUBOInfo a -> Target (Ising2QUBOInfo a) -> Source (Ising2QUBOInfo a) Source #

(Eq a, Show a) => ForwardTransformer (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformForward :: Ising2QUBOInfo a -> Source (Ising2QUBOInfo a) -> Target (Ising2QUBOInfo a) Source #

(Eq a, Show a, Num a) => ObjValueBackwardTransformer (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueBackward :: Ising2QUBOInfo a -> TargetObjValue (Ising2QUBOInfo a) -> SourceObjValue (Ising2QUBOInfo a) Source #

(Eq a, Show a, Num a) => ObjValueForwardTransformer (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Methods

transformObjValueForward :: Ising2QUBOInfo a -> SourceObjValue (Ising2QUBOInfo a) -> TargetObjValue (Ising2QUBOInfo a) Source #

(Eq a, Show a) => ObjValueTransformer (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Associated Types

type SourceObjValue (Ising2QUBOInfo a) Source #

type TargetObjValue (Ising2QUBOInfo a) Source #

(Eq a, Show a) => Transformer (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

Associated Types

type Source (Ising2QUBOInfo a) Source #

type Target (Ising2QUBOInfo a) Source #

type Source (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type Source (Ising2QUBOInfo a) = Solution
type SourceObjValue (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type SourceObjValue (Ising2QUBOInfo a) = a
type Target (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type Target (Ising2QUBOInfo a) = Solution
type TargetObjValue (Ising2QUBOInfo a) Source # 
Instance details

Defined in ToySolver.Converter.QUBO

type TargetObjValue (Ising2QUBOInfo a) = a