mirror of
https://github.com/ellmau/adf-obdd.git
synced 2025-12-19 09:29:36 +01:00
e110b72115
Implemented various optimisations of the 0.2.0 version, including different filtering and rewriting approaches for model enumerations * ADD prefilter for stable model computation (hybrid and naive) * ADD implementation with one big rewritten formula instead of many * ADD second version of bdd rewriting method * FIX documentation, UPD flake * UPD Readme, usage * ADD hybrid options for grounded and transformation
129 lines
3.3 KiB
JSON
129 lines
3.3 KiB
JSON
{
|
|
"nodes": {
|
|
"flake-compat": {
|
|
"flake": false,
|
|
"locked": {
|
|
"lastModified": 1641205782,
|
|
"narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=",
|
|
"owner": "edolstra",
|
|
"repo": "flake-compat",
|
|
"rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "edolstra",
|
|
"repo": "flake-compat",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"flake-utils": {
|
|
"locked": {
|
|
"lastModified": 1642700792,
|
|
"narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=",
|
|
"owner": "numtide",
|
|
"repo": "flake-utils",
|
|
"rev": "846b2ae0fc4cc943637d3d1def4454213e203cba",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "numtide",
|
|
"repo": "flake-utils",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"flake-utils_2": {
|
|
"locked": {
|
|
"lastModified": 1637014545,
|
|
"narHash": "sha256-26IZAc5yzlD9FlDT54io1oqG/bBoyka+FJk5guaX4x4=",
|
|
"owner": "numtide",
|
|
"repo": "flake-utils",
|
|
"rev": "bba5dcc8e0b20ab664967ad83d24d64cb64ec4f4",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "numtide",
|
|
"repo": "flake-utils",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"gitignoresrc": {
|
|
"flake": false,
|
|
"locked": {
|
|
"lastModified": 1635165013,
|
|
"narHash": "sha256-o/BdVjNwcB6jOmzZjOH703BesSkkS5O7ej3xhyO8hAY=",
|
|
"owner": "hercules-ci",
|
|
"repo": "gitignore.nix",
|
|
"rev": "5b9e0ff9d3b551234b4f3eb3983744fa354b17f1",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "hercules-ci",
|
|
"repo": "gitignore.nix",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"nixpkgs": {
|
|
"locked": {
|
|
"lastModified": 1643788601,
|
|
"narHash": "sha256-6l5Ax44pC/Oo/Muj5Y/NA27Pd38Wty/7GtGSSmYNug4=",
|
|
"owner": "NixOS",
|
|
"repo": "nixpkgs",
|
|
"rev": "f6ddd55d5f9d5eca08df138c248008c1ba73ecec",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "NixOS",
|
|
"ref": "nixos-21.11",
|
|
"repo": "nixpkgs",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"nixpkgs_2": {
|
|
"locked": {
|
|
"lastModified": 1637453606,
|
|
"narHash": "sha256-Gy6cwUswft9xqsjWxFYEnx/63/qzaFUwatcbV5GF/GQ=",
|
|
"owner": "NixOS",
|
|
"repo": "nixpkgs",
|
|
"rev": "8afc4e543663ca0a6a4f496262cd05233737e732",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "NixOS",
|
|
"ref": "nixpkgs-unstable",
|
|
"repo": "nixpkgs",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"root": {
|
|
"inputs": {
|
|
"flake-compat": "flake-compat",
|
|
"flake-utils": "flake-utils",
|
|
"gitignoresrc": "gitignoresrc",
|
|
"nixpkgs": "nixpkgs",
|
|
"rust-overlay": "rust-overlay"
|
|
}
|
|
},
|
|
"rust-overlay": {
|
|
"inputs": {
|
|
"flake-utils": "flake-utils_2",
|
|
"nixpkgs": "nixpkgs_2"
|
|
},
|
|
"locked": {
|
|
"lastModified": 1643941258,
|
|
"narHash": "sha256-uHyEuICSu8qQp6adPTqV33ajiwoF0sCh+Iazaz5r7fo=",
|
|
"owner": "oxalica",
|
|
"repo": "rust-overlay",
|
|
"rev": "674156c4c2f46dd6a6846466cb8f9fee84c211ca",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "oxalica",
|
|
"repo": "rust-overlay",
|
|
"type": "github"
|
|
}
|
|
}
|
|
},
|
|
"root": "root",
|
|
"version": 7
|
|
}
|