LogicCircuits.jl
LogicCircuits.jl copied to clipboard
Tractables
Logic Circuits from the Juice library
https://github.com/Juice-jl/LogicCircuits.jl/blob/a8f9474e8c668607afbe1e3ab9ab8c2c233292f1/src/Logical/Queries.jl#L40
This should hold for model_count but it does not: mc(delta | x_1) + mc(delta | not x_1) = mc(delta) The issue imight be because of conjoin on non-smooth circuits.
This pull request changes the compat entry for the `StatsFuns` package from `0.9` to `0.9, 1`. This keeps the compat entries for earlier versions. Note: I have not tested your...
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "github-actions[bot] avatar"){kind=avatar}
until https://github.com/JuliaTeX/TikzGraphs.jl/issues/48 is fixed
1. Condition might be slightly different than what we have implemented. Maybe rename to something like conjoin_literals. 2. In what cases this is possible? I get error when trying it...
This was the removed tests. Currently cannot load logic circuit from psdd files, so would need to go around that (find a sdd to test this on or move the...
Related to: https://github.com/Juice-jl/LogicCircuits.jl/pull/90 `reduce!`, `restrict`, `shannon`, `eliminate`, `marginalize`, `mentions`, `print_nf`, `normal_form`, `atmost`, `atleast`, `exactly`, `forget`.
Related to https://github.com/Juice-jl/LogicCircuits.jl/pull/90
- Properties: - [x] Structured Decomposable (+vtree) - [x] Decomposable - [x] Deterministic - [x] is_smooth - Transformations - [x] forget - [x] Smooth a circuit - [x] Condition a...
Add https://github.com/pedrozudo/SententialDecisionDiagrams.jl as an optional dependency (https://github.com/JuliaLang/Pkg.jl/issues/1285). At minimum, make it easy to convert the native SDD data structure to Julia structs in the `LogicCircuit` hierarchy, so we can do...