Pasha Khosravi

In the docs, add links to other related libaries: - http://reasoning.cs.ucla.edu/sdd/ - https://github.com/ML-KULeuven/LearnSDD - https://github.com/ML-KULeuven/LearnSDD - libra, writted in ocaml, could not find the link, probably misspled the name.

Yeah this is very nice to have. On the documentation side, I initially thought there would be an option in documenter.jl to generate the signitures automatically, but last time I...

### Smooth a circuit and compile to sdd then conjoin and compare model count ``` using LogicCircuits random_lc = zoo_sdd("random.sdd"); vtree = zoo_vtree("random.vtree"); plc = propagate_constants(random_lc , remove_unary=true); structplc =...

I guess Requires.jl also should work perfectly for this. And the main useful integrations are: 1. Import Vtree from SDD.jl to Juice 2. Import SDDs from SDD.jl to Juice Do...

Plotting is broken again it seems ``` MethodError: no method matching plot(::LightGraphs.SimpleGraphs.SimpleDiGraph{Int64}; layout=TikzGraphs.Layouts.Layered(-1, -1), labels=["+", "*", "*", "-1", "+", "-2", "3", "1", "+", "2", "-3"], edge_labels=Dict{Any, Any}((1, 2) => "0.3",...