Tractables / LogicCircuits.jl

Logic Circuits from the Juice library
https://tractables.github.io/LogicCircuits.jl/dev/
Apache License 2.0
48 stars 4 forks source link

Plotting circuits is broken #103

Open guyvdbroeck opened 2 years ago

guyvdbroeck commented 2 years ago

until https://github.com/JuliaTeX/TikzGraphs.jl/issues/48 is fixed

khosravipasha commented 2 years ago

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", (1, 3) => "0.7", (5, 7) => "0.6", (9, 10) => "0.2", (5, 6) => "0.4", (9, 11) => "0.8"), edge_style="font=\\tiny")
Closest candidates are:
  plot(::Any, ::TikzGraphs.Layouts.Layout) at ~/.julia/packages/TikzGraphs/IrBoQ/src/TikzGraphs.jl:44 got unsupported keyword arguments "layout", "labels", "edge_labels", "edge_style"
  plot(::Any, ::TikzGraphs.Layouts.Layout, ::Vector{T}; args...) where T<:AbstractString at ~/.julia/packages/TikzGraphs/IrBoQ/src/TikzGraphs.jl:44
  plot(::Any, ::Vector{T}; args...) where T<:AbstractString at ~/.julia/packages/TikzGraphs/IrBoQ/src/TikzGraphs.jl:45
  ...

Stacktrace:
 [1] plot(g::LightGraphs.SimpleGraphs.SimpleDiGraph{Int64}, labels::Vector{String}; args::Base.Pairs{Symbol, Any, Tuple{Symbol, Symbol}, NamedTuple{(:edge_labels, :edge_style), Tuple{Dict{Any, Any}, String}}})
   @ TikzGraphs ~/.julia/packages/TikzGraphs/IrBoQ/src/TikzGraphs.jl:45
 [2] plot(pc::PlainSumNode)
   @ ProbabilisticCircuits.LoadSave ~/.julia/packages/ProbabilisticCircuits/Y2rfA/src/LoadSave/plot.jl:33
 [3] top-level scope
   @ In[13]:6
 [4] eval
   @ ./boot.jl:373 [inlined]
 [5] include_string(mapexpr::typeof(REPL.softscope), mod::Module, code::String, filename::String)
   @ Base ./loading.jl:1196