Search results

Plotting circuits is broken

Status: Open.

#103 In Tractables/LogicCircuits.jl;

· guyvdbroeck opened on Nov 21, 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

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