Skip to content
New issue

Version 0.3

Open
No due date
Last updated Sep 18, 2021
62% complete

Overall aiming for finishing documentation, cleaning up historical code, and more examples along the line of the tutorial. To be synced with probabilistic circuits v0.3.

List view

0 issues of 3 selected

  • Bug in <code>model_count</code> after conjoin of non-smooth and using <code>Lit(2)</code>

    bugSomething isn't working
    Status: Open.
    #21 In Tractables/LogicCircuits.jl;
    · khosravipasha opened on Jun 17, 2020

  • an actual SAT solver

    enhancementNew feature or request
    Status: Open.
    #71 In Tractables/LogicCircuits.jl;
    · guyvdbroeck opened on Mar 4, 2021

  • Tranformations for SDDs (Condition, Forget, Forall, ...)

    Status: Open.
    #73 In Tractables/LogicCircuits.jl;
    · khosravipasha opened on Mar 8, 2021
    •