This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE BangPatterns #-} | |
module SLA where | |
import qualified Data.List as List | |
import qualified Data.Vector.Unboxed as UV | |
type Vec = [Double] | |
type Mat = [Vec] -- column of rows. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- |ZDD.hs | |
-- | |
-- Naive ZDD implementation. | |
-- | |
-- Node must have IDs that point to nodes with smaller variables. | |
-- | |
-- Copyright (C) 2021 Serguey Zefirov | |
module ZDD where | |
import Control.Monad |