toysolver-0.5.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
ToySolver.Data.MIP.Solution.CPLEX
data Solution r Source #
Constructors
Fields
Instances
Methods
fmap :: (a -> b) -> Solution a -> Solution b #
(<$) :: a -> Solution b -> Solution a #
(==) :: Solution r -> Solution r -> Bool #
(/=) :: Solution r -> Solution r -> Bool #
compare :: Solution r -> Solution r -> Ordering #
(<) :: Solution r -> Solution r -> Bool #
(<=) :: Solution r -> Solution r -> Bool #
(>) :: Solution r -> Solution r -> Bool #
(>=) :: Solution r -> Solution r -> Bool #
max :: Solution r -> Solution r -> Solution r #
min :: Solution r -> Solution r -> Solution r #
showsPrec :: Int -> Solution r -> ShowS #
show :: Solution r -> String #
showList :: [Solution r] -> ShowS #
def :: Solution r #
parse :: Text -> Solution Scientific Source #
readFile :: FilePath -> IO (Solution Scientific) Source #