Search results

Plotting circuits is broken

Status: Open.

#103 In Tractables/LogicCircuits.jl;

· guyvdbroeck opened on Nov 21, 2021

Add back infer_vtree tests

Status: Open.

#100 In Tractables/LogicCircuits.jl;

· khosravipasha opened on Sep 18, 2021

Docs and Examples and Tutorial for Bdds

Status: Open.

#92 In Tractables/LogicCircuits.jl;

· khosravipasha opened on Aug 11, 2021

Compile BDD to LogicCircuits

Status: Open.

#91 In Tractables/LogicCircuits.jl;

· khosravipasha opened on Aug 11, 2021

Add condition operation and forgetting

Status: Open.

#78 In Tractables/LogicCircuits.jl;

· khosravipasha opened on Mar 18, 2021

Integrate with CUDD.jl

enhancementNew feature or requestNew feature or request

Status: Open.

#75 In Tractables/LogicCircuits.jl;

· guyvdbroeck opened on Mar 18, 2021

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

Status: Open.

#73 In Tractables/LogicCircuits.jl;

· khosravipasha opened on Mar 8, 2021

 ·  

Version 0.3

an actual SAT solver

enhancementNew feature or requestNew feature or request

Status: Open.

#71 In Tractables/LogicCircuits.jl;

· guyvdbroeck opened on Mar 4, 2021

 ·  

Version 0.3

Add <code>SententialDecisionDiagrams.jl</code> as an optional dependency

enhancementNew feature or requestNew feature or request

low prioritylow prioritylow priority

Status: Open.

#35 In Tractables/LogicCircuits.jl;

· guyvdbroeck opened on Jul 27, 2020

Export to SimpleGraphs

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

low prioritylow prioritylow priority

Status: Open.

#32 In Tractables/LogicCircuits.jl;

· guyvdbroeck opened on Jul 24, 2020

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

bugSomething isn't workingSomething isn't working

Status: Open.

#21 In Tractables/LogicCircuits.jl;

· khosravipasha opened on Jun 17, 2020

 ·  

Version 0.3

Match the code of <code>prob_equiv_signature</code> with the theory of probabilistic equivalence checking

enhancementNew feature or requestNew feature or request

low prioritylow prioritylow priority

Status: Open.

#9 In Tractables/LogicCircuits.jl;

· khosravipasha opened on May 23, 2020