search

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

add implied literals #63

Closed talf301 closed 3 years ago

talf301 commented 3 years ago

add functionality and testing for computing the implied literals at every node of a logic circuit

codecov[bot] commented 3 years ago

Codecov Report

Merging #63 (5230971) into master (4f8e400) will increase coverage by 0.12%. The diff coverage is 93.75%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #63      +/-   ##
==========================================
+ Coverage   81.92%   82.04%   +0.12%     
==========================================
  Files          29       29              
  Lines        2373     2389      +16     
==========================================
+ Hits         1944     1960      +16     
  Misses        429      429
Impacted Files Coverage Δ
src/LoadSave/circuit_loaders.jl 99.37% <ø> (ø)
src/queries.jl 98.37% <93.75%> (-0.70%) :arrow_down:
src/transformations.jl 95.33% <0.00%> (+0.42%) :arrow_up:

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 4f8e400...6565942. Read the comment docs.