Tractables/LogicCircuits.jl

Issues

• TagBot trigger issue

  #60 opened 4 years ago by JuliaTagBot
  8

• Match the code of `prob_equiv_signature` with the theory of probabilistic equivalence checking

  #9 opened 4 years ago by khosravipasha
  1

• Bug in `model_count` after conjoin of non-smooth and using `Lit(2)`

  #21 opened 4 years ago by khosravipasha
  1

• issues running the Juice-Example notebook

  #107 opened 3 years ago by pedrozudo
  5

• Plotting circuits is broken

  #103 opened 3 years ago by guyvdbroeck
  1

• Use the CUDA.jl occupancy API

  #101 opened 3 years ago by guyvdbroeck
  2

• Add condition operation and forgetting

  #78 opened 4 years ago by khosravipasha
  4

• Add back infer_vtree tests

  #100 opened 3 years ago by khosravipasha
  0

• Use `CombinedParsers.jl` instead of our custom file loader

  #40 opened 3 years ago by guyvdbroeck
  2

• SDD files load as plain logic circuits

  #70 opened 3 years ago by talf301
  1

• Dataframe issue with converting to Matrix{Bool}

  #93 opened 3 years ago by khosravipasha
  1

• Docs and Examples and Tutorial for Bdds

  #92 opened 3 years ago by khosravipasha
  0

• Compile BDD to LogicCircuits

  #91 opened 3 years ago by khosravipasha
  0

• Unexpected behaviour for disjunction

  #88 opened 3 years ago by rimvydasrub
  4

• Correctness of `isstruct_decomposable` and `infer_vtree`?

  #82 opened 4 years ago by guyvdbroeck
  4

• `vtree(root)` returns a circuit node instead of vtree node in some cases

  #83 opened 4 years ago by khosravipasha
  3

• SnoopCompile.jl

  #34 opened 4 years ago by khosravipasha
  2

• non-smooth circuits: Bug in isstruct_decomposable, infer_vtree

  #47 opened 4 years ago by khosravipasha
  4

• Potential Issues with traversal infra, counters

  #64 opened 4 years ago by khosravipasha
  1

• Docs + Examples

  #5 opened 5 years ago by khosravipasha
  4

• Literate.jl

  #45 opened 4 years ago by khosravipasha
  0

• Add `SententialDecisionDiagrams.jl` as an optional dependency

  #35 opened 4 years ago by guyvdbroeck
  1

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

  #73 opened 4 years ago by khosravipasha
  0

• Remove MLDatasets.jl dependency

  #76 opened 4 years ago by guyvdbroeck
  0

• merge `StructLogicCircuit` and `SDD` node structs

  #26 opened 4 years ago by guyvdbroeck
  1

• Integrate with CUDD.jl

  #75 opened 4 years ago by guyvdbroeck
  0

• an actual SAT solver

  #71 opened 4 years ago by guyvdbroeck
  0

• Retrieve all compiled variables in an SDD manager

  #38 opened 4 years ago by guyvdbroeck
  1

• add support for smoothing structured decomposable circuits

  #43 opened 4 years ago by guyvdbroeck
  1

• Export to SimpleGraphs

  #32 opened 4 years ago by guyvdbroeck
  0

• Literal index support other that 1:N (or also support for reindexing)

  #20 opened 4 years ago by khosravipasha
  1

• save_as_dot Clean up

  #7 opened 4 years ago by khosravipasha
  0

• Move to DataFrames v0.22

  #57 opened 4 years ago by khosravipasha
  1

• Integrate Aqua Tests

  #44 opened 4 years ago by khosravipasha
  1

• Infer Vtree from StructLogicalΔ

  #8 opened 4 years ago by khosravipasha
  0

• Visualizing tools for the circuits

  #23 opened 4 years ago by wenzhe-li
  2

• Smoothing results in having more than 2 childs for AND nodes

  #19 opened 4 years ago by khosravipasha
  0

• `struct_learn` reaches assertion error

  #37 opened 4 years ago by guyvdbroeck
  3

• Normalizing Probabilistic Flows in the Downward pass

  #39 opened 4 years ago by YitaoLiang
  1

• Julia version requirement for project not satisfied

  #41 opened 4 years ago by michiboo
  3

• add `respects_vtree`

  #27 opened 4 years ago by guyvdbroeck
  2

• Implement is_deterministic

  #22 opened 4 years ago by khosravipasha
  1

• Support evaluate for one instance

  #29 opened 4 years ago by khosravipasha
  1

• Add Better Unit tests for evaluate

  #17 opened 4 years ago by khosravipasha
  1

• Clean up and codecoverage

  #4 opened 4 years ago by khosravipasha
  1

• Unify Data related objects

  #11 opened 4 years ago by khosravipasha
  1

• is_struct_decomposable, and inferring vtree from given circuit

  #10 opened 4 years ago by khosravipasha
  1

• Folds vs upward/downward passes

  #3 opened 4 years ago by khosravipasha
  1

• Correct way of evaluating logic circuit

  #15 opened 4 years ago by RenatoGeh
  5

• New Version Test

  #13 opened 4 years ago by khosravipasha
  0