Code

add implied literals#63

Code

Merged

talf301 merged 5 commits intomasterTractables/LogicCircuits.jl:masterfrom marginal-mapTractables/LogicCircuits.jl:marginal-mapCopy head branch name to clipboardJan 22, 2021

+74-5

Commits

Commits on Jan 14, 2021

• add function for computing implied literals

  talf301

  committed
  0c3d132

  Copy full SHA for 0c3d132

Commits on Jan 15, 2021

• fix bugs, add tests for implied literal function

  talf301

  committed
  6351dac

  Copy full SHA for 6351dac

Commits on Jan 19, 2021

• update artifact version

  talf301

  committed
  db655bb

  Copy full SHA for db655bb

Commits on Jan 20, 2021

• add sha1 hash

  talf301

  committed
  5230971

  Copy full SHA for 5230971

Commits on Jan 22, 2021

• implied literal documentation

  talf301

  committed
  6565942

  Copy full SHA for 6565942