Serguey Zefirov thesz

## SLA.hs
{-# 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.

## ZDD.hs
-- |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
	{-# 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.
	-- \|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