├── .github └── workflows │ └── dotnet.yml ├── .gitignore ├── .stylecop ├── StyleCop.props ├── stylecop.json └── stylecop.ruleset ├── CODE_OF_CONDUCT.md ├── DecisionDiagrams.Bench ├── DecisionDiagrams.Bench.csproj ├── Program.cs └── Queens.cs ├── DecisionDiagrams.Tests ├── DecisionDiagrams.Tests.csproj ├── DiagramBddTests.cs ├── DiagramCbddTests.cs ├── DiagramTests.cs ├── Formula.cs ├── RandomBddTests.cs ├── RandomCbddTests.cs └── RandomTests.cs ├── DecisionDiagrams.sln ├── DecisionDiagrams ├── Assignment.cs ├── BDDNode.cs ├── BDDNodeFactory.cs ├── BitOrder.cs ├── BitVector.cs ├── Bitops.cs ├── CBDDNode.cs ├── CBDDNodeFactory.cs ├── DD.cs ├── DDIndex.cs ├── DDManager.cs ├── DDOperation.cs ├── DecisionDiagrams.csproj ├── IDDNode.cs ├── IDDNodeFactory.cs ├── NodeData32.cs ├── NodeData32Packed.cs ├── UniqueTable.cs ├── VarBool.cs ├── VarInt.cs ├── VarInt16.cs ├── VarInt32.cs ├── VarInt64.cs ├── VarInt8.cs ├── Variable.cs ├── VariableMap.cs └── VariableSet.cs ├── LICENSE ├── README.md └── SECURITY.md /.github/workflows/dotnet.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/.github/workflows/dotnet.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/.gitignore -------------------------------------------------------------------------------- /.stylecop/StyleCop.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/.stylecop/StyleCop.props -------------------------------------------------------------------------------- /.stylecop/stylecop.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/.stylecop/stylecop.json -------------------------------------------------------------------------------- /.stylecop/stylecop.ruleset: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/.stylecop/stylecop.ruleset -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /DecisionDiagrams.Bench/DecisionDiagrams.Bench.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams.Bench/DecisionDiagrams.Bench.csproj -------------------------------------------------------------------------------- /DecisionDiagrams.Bench/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams.Bench/Program.cs -------------------------------------------------------------------------------- /DecisionDiagrams.Bench/Queens.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams.Bench/Queens.cs -------------------------------------------------------------------------------- /DecisionDiagrams.Tests/DecisionDiagrams.Tests.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams.Tests/DecisionDiagrams.Tests.csproj -------------------------------------------------------------------------------- /DecisionDiagrams.Tests/DiagramBddTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams.Tests/DiagramBddTests.cs -------------------------------------------------------------------------------- /DecisionDiagrams.Tests/DiagramCbddTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams.Tests/DiagramCbddTests.cs -------------------------------------------------------------------------------- /DecisionDiagrams.Tests/DiagramTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams.Tests/DiagramTests.cs -------------------------------------------------------------------------------- /DecisionDiagrams.Tests/Formula.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams.Tests/Formula.cs -------------------------------------------------------------------------------- /DecisionDiagrams.Tests/RandomBddTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams.Tests/RandomBddTests.cs -------------------------------------------------------------------------------- /DecisionDiagrams.Tests/RandomCbddTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams.Tests/RandomCbddTests.cs -------------------------------------------------------------------------------- /DecisionDiagrams.Tests/RandomTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams.Tests/RandomTests.cs -------------------------------------------------------------------------------- /DecisionDiagrams.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams.sln -------------------------------------------------------------------------------- /DecisionDiagrams/Assignment.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/Assignment.cs -------------------------------------------------------------------------------- /DecisionDiagrams/BDDNode.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/BDDNode.cs -------------------------------------------------------------------------------- /DecisionDiagrams/BDDNodeFactory.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/BDDNodeFactory.cs -------------------------------------------------------------------------------- /DecisionDiagrams/BitOrder.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/BitOrder.cs -------------------------------------------------------------------------------- /DecisionDiagrams/BitVector.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/BitVector.cs -------------------------------------------------------------------------------- /DecisionDiagrams/Bitops.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/Bitops.cs -------------------------------------------------------------------------------- /DecisionDiagrams/CBDDNode.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/CBDDNode.cs -------------------------------------------------------------------------------- /DecisionDiagrams/CBDDNodeFactory.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/CBDDNodeFactory.cs -------------------------------------------------------------------------------- /DecisionDiagrams/DD.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/DD.cs -------------------------------------------------------------------------------- /DecisionDiagrams/DDIndex.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/DDIndex.cs -------------------------------------------------------------------------------- /DecisionDiagrams/DDManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/DDManager.cs -------------------------------------------------------------------------------- /DecisionDiagrams/DDOperation.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/DDOperation.cs -------------------------------------------------------------------------------- /DecisionDiagrams/DecisionDiagrams.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/DecisionDiagrams.csproj -------------------------------------------------------------------------------- /DecisionDiagrams/IDDNode.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/IDDNode.cs -------------------------------------------------------------------------------- /DecisionDiagrams/IDDNodeFactory.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/IDDNodeFactory.cs -------------------------------------------------------------------------------- /DecisionDiagrams/NodeData32.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/NodeData32.cs -------------------------------------------------------------------------------- /DecisionDiagrams/NodeData32Packed.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/NodeData32Packed.cs -------------------------------------------------------------------------------- /DecisionDiagrams/UniqueTable.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/UniqueTable.cs -------------------------------------------------------------------------------- /DecisionDiagrams/VarBool.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/VarBool.cs -------------------------------------------------------------------------------- /DecisionDiagrams/VarInt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/VarInt.cs -------------------------------------------------------------------------------- /DecisionDiagrams/VarInt16.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/VarInt16.cs -------------------------------------------------------------------------------- /DecisionDiagrams/VarInt32.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/VarInt32.cs -------------------------------------------------------------------------------- /DecisionDiagrams/VarInt64.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/VarInt64.cs -------------------------------------------------------------------------------- /DecisionDiagrams/VarInt8.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/VarInt8.cs -------------------------------------------------------------------------------- /DecisionDiagrams/Variable.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/Variable.cs -------------------------------------------------------------------------------- /DecisionDiagrams/VariableMap.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/VariableMap.cs -------------------------------------------------------------------------------- /DecisionDiagrams/VariableSet.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/DecisionDiagrams/VariableSet.cs -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/DecisionDiagrams/HEAD/SECURITY.md --------------------------------------------------------------------------------